Searched refs:start_of_page (Results 1 – 2 of 2) sorted by relevance
1772 const uintptr_t start_of_page = (uintptr_t)ptdp & ~PAGE_MASK; in ptd_alloc_unlinked() local1773 ptd_info_t *first_ptd_info = (ptd_info_t *)(start_of_page + ptd_info_offset); in ptd_alloc_unlinked()
2791 const uintptr_t start_of_page = (uintptr_t)ptdp & ~PAGE_MASK; in ptd_alloc_unlinked() local2792 ptd_info_t *first_ptd_info = (ptd_info_t *)(start_of_page + ptd_info_offset); in ptd_alloc_unlinked()