Searched refs:ptd_info_t (Results 1 – 3 of 3) sorted by relevance
813 } ptd_info_t; typedef864 ptd_info_t *ptd_info;1007 static inline ptd_info_t *1024 static inline ptd_info_t *
559 const unsigned ptd_info_size = sizeof(ptd_info_t) * PT_INDEX_MAX; in pmap_data_bootstrap()2640 ptd_info_t *first_ptd_info = (ptd_info_t *)(start_of_page + ptd_info_offset); in ptd_alloc_unlinked()
3652 ptd_info_t *ptd_info; in pmap_tt_deallocate()6074 ptd_info_t *ptd_info = ptep_get_info(pte_p);