extern void load_idt(struct idt_pointer *idtp);
extern void keyboard_irq();