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

/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/
H A Dmachine.h163 unsigned long cr4 = read_cr4(); local
/seL4-l4v-master/seL4/src/arch/x86/object/
H A Dvcpu.c208 static bool_t vtx_check_fixed_values(word_t cr0, word_t cr4) argument

Completed in 33 milliseconds