Searched refs:start_of_page (Results 1 – 2 of 2) sorted by relevance
1779 const uintptr_t start_of_page = (uintptr_t)ptdp & ~PAGE_MASK; in ptd_alloc_unlinked() local1780 ptd_info_t *first_ptd_info = (ptd_info_t *)(start_of_page + ptd_info_offset); in ptd_alloc_unlinked()
2786 const uintptr_t start_of_page = (uintptr_t)ptdp & ~PAGE_MASK; in ptd_alloc_unlinked() local2787 ptd_info_t *first_ptd_info = (ptd_info_t *)(start_of_page + ptd_info_offset); in ptd_alloc_unlinked()