#include <stdlib.h>
#include "../gdt.h"

extern "C" void dump_gdt() {
  GDT::Pointer gdtr{0, 0};
  asm volatile("sgdt %0" : "=m"(gdtr) :);
  printk("GDT at ", uhex{gdtr.base}, " , limit=", gdtr.limit, '\n');
}