#include "tables.h"

void
arch_tables_setup(void)
{
    x86_64_load_gdt();
    x86_64_load_idt();
}