Handle a non-root VM fault with status code and aux value. status: 1=trap, 2=panic, 3=oog, 4=pagefault, 5=invalid_ecalli. auxValue: child's φ[7] (trap), HUH (panic), LOW (oog), fault addr (pf), imm (ecalli).
11.5. CALL and REPLY
CALL on a HANDLE or CALLABLE suspends the caller (RUNNING to WAITING_FOR_REPLY), transfers gas to the callee, and starts the callee (IDLE to RUNNING). Arguments pass via phi[7..10]. REPLY pops the call frame, returns unused gas, and resumes the caller.
def
Jar.JAVM.Kernel.handleVmFaultWith (state : KernelState) (status auxValue : UInt64) : KernelState × DispatchResultJar.JAVM.Kernel.handleVmFaultWith (state : KernelState) (status auxValue : UInt64) : KernelState × DispatchResult