Searched refs:valh (Results 1 – 1 of 1) sorted by relevance
789 unsigned int valh, unsigned int vall) in do_print() argument791 target_phys_addr_t val = GET_TPHYSADDR(valh, vall); in do_print()834 static void do_memory_save(Monitor *mon, unsigned int valh, unsigned int vall, in do_memory_save() argument838 target_long addr = GET_TLONG(valh, vall); in do_memory_save()864 static void do_physical_memory_save(Monitor *mon, unsigned int valh, in do_physical_memory_save() argument871 target_phys_addr_t addr = GET_TPHYSADDR(valh, vall); in do_physical_memory_save()