VMCS_VPID
db_printf("VPID: %lu\n", vmcs_read(VMCS_VPID));
error += vmwrite(VMCS_VPID, vpid);
error = vm_get_vmcs_field(vcpu, VMCS_VPID, &vpid);