Searched refs:ptbl_init (Results 1 – 3 of 3) sorted by relevance
125 static void ptbl_init(void);164 ptbl_init(void) in ptbl_init() function
222 ptbl_init(void) in ptbl_init() function
1127 ptbl_init(); in mmu_booke_init()