Lines Matching defs:entry
60 /* verify that the kernel window as at the last entry of the PML4 */
62 /* verify that the kernel_base is located in the last entry of the PML4,
63 * the second last entry of the PDPT, is 1gb aligned and 1gb in size */
144 /* verify that the kernel window as at the last entry of the PML4 */
146 /* verify that the kernel_base is located in the last entry of the PML4,
147 * the second last entry of the PDPT, is 1gb aligned and 1gb in size */
242 /* use the last PD entry as the benchmark log storage.
644 map_temp_boot_page(void* entry, uint32_t large_pages)
650 assert((word_t)entry < BIT(32));
651 return entry;
982 * and an invalid entry should really be a third type, but we can simulate it by
983 * creating an invalid (present bit 0) entry of either of the defined types */