Lines Matching refs:addr
18 addr: u64, in check_mem()
28 addr, in check_mem()
47 addr: u64, in check_mem()
55 if let Some(addr_end) = addr.checked_add(len as u64) { in check_mem()
56 if mbuff.as_ptr() as u64 <= addr && addr_end <= mbuff.as_ptr() as u64 + mbuff.len() as u64 { in check_mem()
59 if mem.as_ptr() as u64 <= addr && addr_end <= mem.as_ptr() as u64 + mem.len() as u64 { in check_mem()
62 if stack.as_ptr() as u64 <= addr && addr_end <= stack.as_ptr() as u64 + stack.len() as u64 { in check_mem()
69 access_type, insn_ptr, addr, len, in check_mem()
122 |stack: &[u8], addr: u64, len: usize, insn_ptr: usize| -> Result<(), Error> { in execute_program()
123 check_mem(addr, len, "load", insn_ptr, mbuff, mem, stack) in execute_program()
126 |stack: &[u8], addr: u64, len: usize, insn_ptr: usize| -> Result<(), Error> { in execute_program()
127 check_mem(addr, len, "store", insn_ptr, mbuff, mem, stack) in execute_program()