extern void load_idt(struct idt_pointer *idtp);