Searched refs:ptd_info_init (Results 1 – 6 of 6) sorted by relevance
1879 extern void ptd_info_init(
2905 ptd_info_init( in ptd_info_init() function
6895 ptd_info_init(ptdp, pmap, va, ttlevel, pte_p);
2386 extern void ptd_info_init(
1867 ptd_info_init( in ptd_info_init() function
6238 ptd_info_init(ptdp, pmap, va, ttlevel, pte_p);