Searched refs:DMPDkernphys (Results 1 – 1 of 1) sorted by relevance
1771 uint64_t DMPDkernphys; in create_pagetables() local1828 DMPDkernphys = allocpages(firstaddr, nkdmpde); in create_pagetables()1976 pd_p = (pd_entry_t *)DMPDkernphys; in create_pagetables()1984 pdp_p[i + j] = (DMPDkernphys + ptoa(i)) | in create_pagetables()