path: root/arch/x86_64/tables.c

#include "tables.h"

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