Symbol: arch_kmap_local_map_idx