VM_CAP_IPI_EXIT
[VM_CAP_IPI_EXIT] = "ipi_exit",
case VM_CAP_IPI_EXIT:
case VM_CAP_IPI_EXIT:
case VM_CAP_IPI_EXIT:
case VM_CAP_IPI_EXIT:
err = vm_set_capability(vcpu, VM_CAP_IPI_EXIT, 1);