Searched refs:CR4_PKE (Results 1 – 4 of 4) sorted by relevance
172 { "PKE", CR4_PKE, CR4_PKE }, in mdb_x86_print_sysregs()
40 #undef CR4_PKE
125 #define CR4_PKE 0x400000 /* protection key enable */ macro
82 #define CR4_PKE 0x00400000 /* Protection Keys Enable */ macro