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

/freebsd-10.1-release/sys/boot/i386/libi386/
H A Delf64_freebsd.c54 typedef u_int64_t p4_entry_t; typedef
57 extern p4_entry_t PT4[];
98 PT4[i] = (p4_entry_t)VTOP((uintptr_t)&PT3[0]);
/freebsd-10.1-release/sys/boot/amd64/efi/
H A Delf64_freebsd.c68 typedef u_int64_t p4_entry_t; typedef
71 static p4_entry_t *PT4;
76 uint64_t modulep, p4_entry_t *pagetable,
138 PT4 = (p4_entry_t *)0x0000000040000000;
153 PT4[i] = (p4_entry_t)PT3;
/freebsd-10.1-release/sys/boot/userboot/userboot/
H A Delf64_freebsd.c63 typedef u_int64_t p4_entry_t; typedef
94 p4_entry_t PT4[512];
126 PT4[i] = (p4_entry_t) 0x3000;

Completed in 98 milliseconds