Symbol: ehea_map_vaddr