Go to the documentation of this file.
22 #include <linux/kernel.h>
23 #include <linux/types.h>
30 #include <asm/pgtable.h>
31 #include <asm/tlbflush.h>
41 static unsigned long efi_rt_eflags;
61 gdt_descr.
address = (
unsigned long)get_cpu_gdt_table(0);