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

/** 
 *  Set the Global Descritpor Table from data at _addr_.
 *
 *  call as asm_setup_gdt(GDT,sizeof(GDT)) 
 *
 *  This will jump to 0x8 segment and set 0x10 data selector
 *  also refereshing the tss entry.
 * */
void asm_setup_gdt(uint32_t addr, uint32_t size);