Searched refs:addrh (Results 1 – 1 of 1) sorted by relevance
766 uint32_t addrh, uint32_t addrl) in do_memory_dump() argument768 target_long addr = GET_TLONG(addrh, addrl); in do_memory_dump()779 int size, uint32_t addrh, uint32_t addrl) in do_physical_memory_dump() argument782 target_phys_addr_t addr = GET_TPHYSADDR(addrh, addrl); in do_physical_memory_dump()