Searched refs:ptd_info_t (Results 1 – 3 of 3) sorted by relevance
857 } ptd_info_t; typedef908 ptd_info_t *ptd_info;1051 static inline ptd_info_t *1068 static inline ptd_info_t *
559 const unsigned ptd_info_size = sizeof(ptd_info_t) * PT_INDEX_MAX; in pmap_data_bootstrap()2672 ptd_info_t *first_ptd_info = (ptd_info_t *)(start_of_page + ptd_info_offset); in ptd_alloc_unlinked()
3676 ptd_info_t *ptd_info; in pmap_tt_deallocate()6114 ptd_info_t *ptd_info = ptep_get_info(pte_p);