Searched refs:system_addrH (Results 1 – 1 of 1) sorted by relevance
44 uint32_t system_addrL, system_addrH; in address_trans_set_region() local50 system_addrH = (uint32_t)((system_addr >> 32) & 0xFFFF); in address_trans_set_region()56 sys_write32(system_addrH, RAT_TRANS_H(rat_base_addr, region_num)); in address_trans_set_region()