pub fn sys_ipc_recv(port_handle: u64, msg_ptr: u64) -> Result<u64, SyscallError>
SYS_IPC_RECV: block until a message is received from a port.