#include "types.h"

void load_idt(void* idt_addr);