Searched refs:get_cr0 (Results 1 – 3 of 3) sorted by relevance
247 vmwrite(CR0_READ_SHADOW, get_cr0()); in init_vmcs_control_fields()282 vmwrite(HOST_CR0, get_cr0()); in init_vmcs_host_state()
213 GUEST_ASSERT(!(get_cr0() & X86_CR0_TS)); in guest_code()
553 static inline u64 get_cr0(void) in get_cr0() function