Searched refs:ptd_info_init (Results 1 – 3 of 3) sorted by relevance
1888 extern void ptd_info_init(
2785 ptd_info_init( in ptd_info_init() function
6871 ptd_info_init(ptdp, pmap, va, ttlevel, pte_p);