Searched refs:start_of_page (Results 1 – 2 of 2) sorted by relevance
1780 const uintptr_t start_of_page = (uintptr_t)ptdp & ~PAGE_MASK; in ptd_alloc_unlinked() local1781 ptd_info_t *first_ptd_info = (ptd_info_t *)(start_of_page + ptd_info_offset); in ptd_alloc_unlinked()
2787 const uintptr_t start_of_page = (uintptr_t)ptdp & ~PAGE_MASK; in ptd_alloc_unlinked() local2788 ptd_info_t *first_ptd_info = (ptd_info_t *)(start_of_page + ptd_info_offset); in ptd_alloc_unlinked()