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