Searched defs:cr4 (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/kernel/include/arch/x86/arch/64/mode/
H A Dmachine.h163 unsigned long cr4 = read_cr4(); local
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/imx/serial/
H A Dserial.c70 uint32_t cr4; /* 0x08C Control Register 4 */ member in struct:imx_uart_regs
/seL4-test-master/kernel/src/arch/x86/object/
H A Dvcpu.c208 static bool_t vtx_check_fixed_values(word_t cr0, word_t cr4) argument

Completed in 73 milliseconds