Searched refs:vm_get_vmcs_field (Results 1 – 1 of 1) sorted by relevance
| /freebsd-src/usr.sbin/bhyvectl/amd64/ |
| H A D | bhyvectl_machdep.c | 439 vm_get_vmcs_field(struct vcpu *vcpu, int field, uint64_t *ret_val) in vm_get_vmcs_field() function
795 error = vm_get_vmcs_field(vcpu, VMCS_CR0_MASK, &cr0mask); in get_misc_vmcs()
802 error = vm_get_vmcs_field(vcpu, VMCS_CR0_SHADOW, in get_misc_vmcs()
810 error = vm_get_vmcs_field(vcpu, VMCS_CR4_MASK, &cr4mask); in get_misc_vmcs()
817 error = vm_get_vmcs_field(vcpu, VMCS_CR4_SHADOW, in get_misc_vmcs()
825 error = vm_get_vmcs_field(vcpu, VMCS_CR3_TARGET_COUNT, in get_misc_vmcs()
832 error = vm_get_vmcs_field(vcpu, VMCS_CR3_TARGET0, in get_misc_vmcs()
839 error = vm_get_vmcs_field(vcpu, VMCS_CR3_TARGET1, in get_misc_vmcs()
846 error = vm_get_vmcs_field(vcpu, VMCS_CR3_TARGET2, in get_misc_vmcs()
853 error = vm_get_vmcs_field(vcpu, VMCS_CR3_TARGET3, in get_misc_vmcs()
[all …]
|