Searched refs:vmx_dump_vmcs_field (Results 1 – 1 of 1) sorted by relevance
| /openbsd/src/sys/arch/amd64/amd64/ |
| D | vmm_machdep.c | 67 void vmx_dump_vmcs_field(uint16_t, const char *);
6899 vmx_dump_vmcs_field(uint16_t fieldid, const char *msg) in vmx_dump_vmcs_field() function
6962 vmx_dump_vmcs_field(VMCS_GUEST_VPID, "VPID"); in vmx_dump_vmcs()
6968 vmx_dump_vmcs_field(VMCS_POSTED_INT_NOTIF_VECTOR, in vmx_dump_vmcs()
6975 vmx_dump_vmcs_field(VMCS_EPTP_INDEX, "EPTP idx"); in vmx_dump_vmcs()
6980 vmx_dump_vmcs_field(VMCS_GUEST_IA32_ES_SEL, "G.ES"); in vmx_dump_vmcs()
6981 vmx_dump_vmcs_field(VMCS_GUEST_IA32_CS_SEL, "G.CS"); in vmx_dump_vmcs()
6982 vmx_dump_vmcs_field(VMCS_GUEST_IA32_SS_SEL, "G.SS"); in vmx_dump_vmcs()
6984 vmx_dump_vmcs_field(VMCS_GUEST_IA32_DS_SEL, "G.DS"); in vmx_dump_vmcs()
6985 vmx_dump_vmcs_field(VMCS_GUEST_IA32_FS_SEL, "G.FS"); in vmx_dump_vmcs()
[all …]
|