Lines Matching refs:fillkpt
154 fillkpt(pt_entry_t *base, int prot, uintptr_t src, int index, int count)
286 fillkpt(KPTphys,
290 fillkpt(IdlePTD,
294 fillkpt(IdlePDPT,
298 fillkpt(IdlePML4 + KERNEL_PML4_INDEX,
328 fillkpt(IdlePTD, INTEL_PTE_WRITE, (uintptr_t)IdlePTD, PTDPTDI, NPGPTD);
330 fillkpt(IdlePTD, INTEL_PTE_WRITE|INTEL_PTE_USER, (uintptr_t)ALLOCPAGES(1), _COMM_PAGE32_BASE_ADDRESS >> PDESHIFT,1);
333 fillkpt(KPTphys,
339 fillkpt(IdlePTD,
343 fillkpt(IdlePDPT, 0, (uintptr_t)IdlePTD, 0, NPGPTD);