gdt.dump(System.out);
    private final void setupStructures() {        // Clone GDT        this.gdt = new GDT();        gdt.setBase(GDT.PROCESSOR_ENTRY, Address.valueOf(this));                // Clone TSS        this.tss = new TSS();        gdt.setBase(GDT.TSS_ENTRY, tss.getAddress());                // Create kernel stack        tss.setKernelStack(new byte[VmThread.DEFAULT_STACK_SIZE]);                // Create user stack        final byte[] userStack = new byte[VmThread.DEFAULT_STACK_SIZE];        tss.setUserStack(userStack);        this.currentThread = new VmX86Thread(userStack);                gdt.dump(System.out);            }