/**
 * @file
 * http://wiki.osdev.org/GDT_Tutorial
 */

/** call as asm_setup_gdt(GDT,sizeof(GDT)) */
void asm_setup_gdt(uint32_t addr, uint32_t size)