Searched refs:kasankpdi (Results 1 – 1 of 1) sorted by relevance
1696 int kasankpdpi, kasankpdi, nkasanpte; in create_pagetables() local1815 kasankpdi = pmap_pde_index(kasankernbase); in create_pagetables()1822 pd_p[i + kasankpdi] = (KASANPTphys + ptoa(i)) | X86_PG_RW | in create_pagetables()