Searched refs:vcpu_get_cr0 (Results 1 – 10 of 10) sorted by relevance
34 uint64_t vcpu_get_cr0(struct acrn_vcpu *vcpu);
595 return (vcpu_get_cr0(vcpu) & CR0_PG) != 0UL; in is_paging_enabled()
250 uint64_t cr0_changed_bits = vcpu_get_cr0(vcpu) ^ effective_cr0; in vmx_write_cr0()375 pr_dbg("Err found,cr4:0xlx,cr0:0x%lx ", cr4, vcpu_get_cr0(vcpu)); in vmx_write_cr4()520 uint64_t vcpu_get_cr0(struct acrn_vcpu *vcpu) in vcpu_get_cr0() function
694 return validate_nvmx_cr0_cr4(vcpu_get_cr0(vcpu), msr_read(MSR_IA32_VMX_CR0_FIXED0), in validate_nvmx_cr0()738 if (((vcpu_get_cr0(vcpu) & CR0_PE) == 0UL) in vmxon_vmexit_handler()785 || ((vcpu_get_cr0(vcpu) & CR0_PE) == 0UL) in check_vmx_permission()
242 pw_info.wp = ((vcpu_get_cr0(vcpu) & CR0_WP) != 0UL); in gva2gpa()
112 (void)vcpu_get_cr0(vcpu); in save_world_ctx()
590 if ((vcpu_get_cr0(vcpu) & CR0_CD) == 0UL) { in write_pat_msr()
777 cr0 = vcpu_get_cr0(vcpu); in run_vcpu()
86 vcpu_get_cr0(vcpu), in dump_guest_reg()
891 vcpu_get_cr0(vcpu), vcpu_get_cr2(vcpu), in dump_vcpu_reg()
Completed in 18 milliseconds