Searched refs:get_cr4 (Results 1 – 4 of 4) sorted by relevance
24 uint64_t cr4 = get_cr4(); in cr4_cpuid_is_sync()34 cr4 = get_cr4(); in guest_code()
226 cr4 = get_cr4(); in init_regs()
259 vmwrite(CR4_READ_SHADOW, get_cr4()); in init_vmcs_control_fields()295 vmwrite(HOST_CR4, get_cr4()); in init_vmcs_host_state()
370 static inline uint64_t get_cr4(void) in get_cr4() function