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
175 ptbl_init(void) in ptbl_init() function
1091 ptbl_init(); in mmu_booke_init()