pub fn record_remote_even_if_null(&mut self, addr: RemotePtr<Void>, num_bytes: usize) {
        self.maybe_flush_syscallbuf();

        if addr.is_null() {
            self.trace_writer_mut().write_raw(self.rec_tid, &[], addr);
            return;
        }

        if self.record_remote_by_local_map(addr, num_bytes) {
            return;
        }

        let buf = read_mem(self, addr, num_bytes, None);
        self.trace_writer_mut().write_raw(self.rec_tid, &buf, addr);
    }
/// Save tracee data to the trace.  `addr` is the address in
/// the address space of this task.
/// If 'addr' is null then a zero-length record is written.
Save tracee data to the trace.  `addr` is the address in
the address space of this task.
If 'addr' is null then a zero-length record is written.
Save tracee data to the trace . ` addr ` is the address in the address space of this task . If ' addr ' is null then a zero - length record is written .
pub fn record_remote_even_if_null(&mut self, addr: RemotePtr<Void>, num_bytes: usize) {
        self.maybe_flush_syscallbuf();
        if addr.is_null() {
            self.trace_writer_mut().write_raw(self.rec_tid, &[], addr);
            return;
        }
        if self.record_remote_by_local_map(addr, num_bytes) {
            return;
        }
        let buf = read_mem(self, addr, num_bytes, None);
        self.trace_writer_mut().write_raw(self.rec_tid, &buf, addr);
    }
pub fn record_remote_even_if_null ( & mut self , addr : RemotePtr < Void > , num_bytes : usize ) { self . maybe_flush_syscallbuf ( ) ; if addr . is_null ( ) { self . trace_writer_mut ( ) . write_raw ( self . rec_tid , & [ ] , addr ) ; return ; } if self . record_remote_by_local_map ( addr , num_bytes ) { return ; } let buf = read_mem ( self , addr , num_bytes , None ) ; self . trace_writer_mut ( ) . write_raw ( self . rec_tid , & buf , addr ) ; }
Save tracee data to the trace.
Save tracee data to the trace .
&mut self
addr
RemotePtr<Void>
num_bytes
usize