Searched refs:system_addr (Results 1 – 3 of 3) sorted by relevance
22 .system_addr = 0x0u,28 .system_addr = 0x20000000u,33 .system_addr = 0x40000000u,38 .system_addr = 0x60000000u,
41 uint64_t system_addr = addr_translate_config->region_config[region_num].system_addr; in address_trans_set_region() local49 system_addrL = (uint32_t)(system_addr & ~((uint32_t)((BIT64_MASK(size))))); in address_trans_set_region()50 system_addrH = (uint32_t)((system_addr >> 32) & 0xFFFF); in address_trans_set_region()120 start_addr = translate_config.region_config[regionId].system_addr; in sys_mm_drv_page_phys_get()132 pa - translate_config.region_config[regionId].system_addr; in sys_mm_drv_page_phys_get()
67 uint64_t system_addr; member
