Searched refs:ptd_info_t (Results 1 – 3 of 3) sorted by relevance
851 } ptd_info_t; typedef902 ptd_info_t *ptd_info;1045 static inline ptd_info_t *1062 static inline ptd_info_t *
578 const unsigned ptd_info_size = sizeof(ptd_info_t) * PT_INDEX_MAX; in pmap_data_bootstrap()2788 ptd_info_t *first_ptd_info = (ptd_info_t *)(start_of_page + ptd_info_offset); in ptd_alloc_unlinked()
3694 ptd_info_t *ptd_info; in pmap_tt_deallocate()6124 ptd_info_t *ptd_info = ptep_get_info(pte_p);