Searched refs:IA32_CR4_PCE (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dprivate.h76 #define IA32_CR4_PCE 8 macro
178 : [pce] "i" BIT(IA32_CR4_PCE)
189 : [pce] "i" BIT(IA32_CR4_PCE) /* input PCE flag */
205 : [pce] "i" (~BIT(IA32_CR4_PCE))
216 : [pce] "i" (~BIT(IA32_CR4_PCE)) /* input PCE flag */

Completed in 22 milliseconds