Searched refs:srmmu_paging_init (Results 1 – 3 of 3) sorted by relevance
17 void __init srmmu_paging_init(void);
213 srmmu_paging_init(); in paging_init()
894 void __init srmmu_paging_init(void) in srmmu_paging_init() function