added gdt_flush function