VM_GET_HPET_CAPABILITIES
{ (uint_t)VM_GET_HPET_CAPABILITIES, "VM_GET_HPET_CAPABILITIES",
error = ioctl(ctx->fd, VM_GET_HPET_CAPABILITIES, &cap);
VM_GET_HPET_CAPABILITIES, VM_GET_GPA_PMAP, VM_GLA2GPA,
case VM_GET_HPET_CAPABILITIES: {