Searched refs:ptd_info_t (Results 1 – 3 of 3) sorted by relevance
843 } ptd_info_t; typedef894 ptd_info_t *ptd_info;1037 static inline ptd_info_t *1054 static inline ptd_info_t *
578 const unsigned ptd_info_size = sizeof(ptd_info_t) * PT_INDEX_MAX; in pmap_data_bootstrap()2782 ptd_info_t *first_ptd_info = (ptd_info_t *)(start_of_page + ptd_info_offset); in ptd_alloc_unlinked()
3576 ptd_info_t *ptd_info; in pmap_tt_deallocate()5946 ptd_info_t *ptd_info = ptep_get_info(pte_p);