Searched refs:get_cr4 (Results 1 – 6 of 6) sorted by relevance
24 uint64_t cr4 = get_cr4(); in cr4_cpuid_is_sync()34 cr4 = get_cr4(); in guest_code()
149 set_cr4(get_cr4() | X86_CR4_OSXSAVE); in guest_code()212 set_cr4(get_cr4() | X86_CR4_PKE); in guest_code()
55 set_cr4(get_cr4() | X86_CR4_OSXSAVE); in guest_code()
134 cr4 = get_cr4(); in init_regs()
239 vmwrite(CR4_READ_SHADOW, get_cr4()); in init_vmcs_control_fields()275 vmwrite(HOST_CR4, get_cr4()); in init_vmcs_host_state()
531 static inline uint64_t get_cr4(void) in get_cr4() function