Searched refs:srmmu_paging_init (Results 1 – 3 of 3) sorted by relevance
18 void __init srmmu_paging_init(void);
253 srmmu_paging_init(); in paging_init()
870 void __init srmmu_paging_init(void) in srmmu_paging_init() function