junk

void show_gdt_cont(int i)
{
    /* Show "contents" of entries of __kernel_gdt array */
    printk(_DEBUG "Entry no %d $E(Located at 0x%x)$F:\n\t$9Access: $F0x%x | $9Granularity: $F0x%x\n\t"
           "$9LL: $F0x%x $9BL: $F0x%x $9BM: $F0x%x $9BH: $F0x%x\n",
     i, &__kernel_gdt[i],__kernel_gdt[i].access, __kernel_gdt[i].granularity,
     __kernel_gdt[i].limit_low, __kernel_gdt[i].base_low, __kernel_gdt[i].base_middle,
     __kernel_gdt[i].base_high);
}