Searched refs:get_cr0 (Results 1 – 2 of 2) sorted by relevance
258 vmwrite(CR0_READ_SHADOW, get_cr0()); in init_vmcs_control_fields()293 vmwrite(HOST_CR0, get_cr0()); in init_vmcs_host_state()
352 static inline uint64_t get_cr0(void) in get_cr0() function
