Home
last modified time | relevance | path

Searched refs:VMCS_VPID (Results 1 – 4 of 4) sorted by relevance

/freebsd-src/sys/amd64/vmm/intel/
H A Dvmcs.h117 #define VMCS_VPID 0x00000000 macro
H A Dvmcs.c579 db_printf("VPID: %lu\n", vmcs_read(VMCS_VPID)); in DB_SHOW_COMMAND()
H A Dvmx.c1179 error += vmwrite(VMCS_VPID, vpid); in vmx_vcpu_init()
/freebsd-src/usr.sbin/bhyvectl/amd64/
H A Dbhyvectl_machdep.c1786 error = vm_get_vmcs_field(vcpu, VMCS_VPID, &vpid); in bhyvectl_md_main()