VM_REG_GUEST_ENTRY_INST_LENGTH
if (ident == VM_REG_GUEST_ENTRY_INST_LENGTH) {
case VM_REG_GUEST_ENTRY_INST_LENGTH:
error = vm_set_register(vcpu, VM_REG_GUEST_ENTRY_INST_LENGTH,