Searched refs:next_pgtable_pa_4K (Results 1 – 1 of 1) sorted by relevance
967 uint64_t next_pgtable_pa_4K = (pt->pt_cookie.dmac_cookie_addr) >> 12; in init_pde() local975 == next_pgtable_pa_4K); in init_pde()986 next_pgtable_pa_4K); in init_pde()