Searched refs:VMCS_VPID (Results 1 – 4 of 4) sorted by relevance
104 #define VMCS_VPID 0x00000000 macro
439 db_printf("VPID: %lu\n", vmcs_read(VMCS_VPID)); in DB_SHOW_COMMAND()
907 error += vmwrite(VMCS_VPID, vpid[i]); in vmx_vminit()
2024 error = vm_get_vmcs_field(ctx, vcpu, VMCS_VPID, &vpid); in main()