Searched refs:addrh (Results 1 – 1 of 1) sorted by relevance
768 uint32_t addrh, uint32_t addrl) in do_memory_dump() argument770 target_long addr = GET_TLONG(addrh, addrl); in do_memory_dump()781 int size, uint32_t addrh, uint32_t addrl) in do_physical_memory_dump() argument784 target_phys_addr_t addr = GET_TPHYSADDR(addrh, addrl); in do_physical_memory_dump()