Searched refs:KPTphys (Results 1 - 3 of 3) sorted by relevance

/freebsd-11-stable/sys/i386/i386/
H A Dlocore.s109 .globl KPTphys
110 KPTphys: .long 0 /* phys addr of kernel page tables */ label
175 fillkpt(R(KPTphys), prot)
652 movl %esi,R(KPTphys)
718 movl R(KPTphys),%eax
773 movl R(KPTphys), %eax
798 movl R(KPTphys), %eax
H A Dpmap.c208 extern u_int32_t KPTphys;
397 vm_phys_add_seg(KPTphys, KPTphys + ptoa(nkpt));
491 KPTD[i] = (KPTphys + (i << PAGE_SHIFT)) | pgeflag | PG_RW | PG_V;
802 mpte = PHYS_TO_VM_PAGE(KPTphys + (i << PAGE_SHIFT));
807 mpte->phys_addr = KPTphys + (i << PAGE_SHIFT);
/freebsd-11-stable/sys/amd64/amd64/
H A Dpmap.c367 static u_int64_t KPTphys; /* phys addr of kernel level 1 */ variable
933 KPTphys = allocpages(firstaddr, nkpt);
939 pt_p = (pt_entry_t *)KPTphys;
946 pd_p[i] = (KPTphys + ptoa(i)) | X86_PG_RW | X86_PG_V;
949 /* This replaces some of the KPTphys entries above */
1048 vm_phys_add_seg(KPTphys, KPTphys + ptoa(nkpt));
1327 mpte = PHYS_TO_VM_PAGE(KPTphys + (i << PAGE_SHIFT));
1332 mpte->phys_addr = KPTphys + (i << PAGE_SHIFT);

Completed in 206 milliseconds