CR4_PKE (reference) in projects: freebsd

Searched refs:CR4_PKE (Results 1 – 3 of 3) sorted by relevance

/freebsd/sys/amd64/amd64/
H A D	initcpu.c	`291 cr4 \|= CR4_PKE; in initializecpu()`
H A D	fpu.c	`379 cr4 &= ~CR4_PKE; in fpuinit()`
/freebsd/sys/x86/include/
H A D	specialreg.h	`86 #define CR4_PKE 0x00400000 /* Protection Keys Enable */ macro`