#include <oskit/x86/proc_reg.h>
XXXThis header file contains the definitions for the processor's control registers (CR0, CR4). It also contains macros for getting and setting the processor registers and flags. There is also a macro for reading the processor's cycle counter (on Pentium and above processors).
This header file is taken from CMU's Mach kernel.