VM_CAP_ENABLE_INVPCID
[VM_CAP_ENABLE_INVPCID] = "enable_invpcid",
case VM_CAP_ENABLE_INVPCID:
case VM_CAP_ENABLE_INVPCID:
VM_CAP_ENABLE_INVPCID, &enable_invpcid);
vm_set_capability(vcpu, VM_CAP_ENABLE_INVPCID, 1);