Searched refs:ptbl_init (Results 1 – 3 of 3) sorted by relevance
128 static void ptbl_init(void);167 ptbl_init(void) in ptbl_init() function
178 ptbl_init(void) in ptbl_init() function
1085 ptbl_init(); in mmu_booke_init()