Searched refs:first_idt_desc (Results 1 – 1 of 1) sorted by relevance
516 idt_desc_t first_idt_desc; in main() local554 &first_idt_desc, sizeof(first_idt_desc), 0)) { in main()558 printf("CPU #0 IDT[0] -> 0x%016"PRIx64"\n", idt_desc_addr(first_idt_desc)); in main()560 KernBase = idt_desc_addr(first_idt_desc) & ~(ELF2DMP_PAGE_SIZE - 1); in main()