VM_EXITCODE_HLT
vmexit->exitcode = VM_EXITCODE_HLT;
vmexit->exitcode = VM_EXITCODE_HLT;
KASSERT(vmexit->exitcode == VM_EXITCODE_HLT,
case VM_EXITCODE_HLT:
[VM_EXITCODE_HLT] = vmexit_hlt,