Searched refs:map_kernel (Results 1 – 1 of 1) sorted by relevance
1241 static inline void map_kernel(void) in map_kernel() function1302 map_kernel(); in srmmu_paging_init()