Searched refs:idt_desc_addr (Results 1 – 1 of 1) sorted by relevance
36 static uint64_t idt_desc_addr(idt_desc_t desc) in idt_desc_addr() function558 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()