region_descriptor
efi_setup_tss(struct region_descriptor *gdt, uint32_t loader_tss_idx,
struct region_descriptor *gdt_rd, loader_gdt;
static struct region_descriptor fw_idt; /* Descriptor for pristine fw IDT */
static struct region_descriptor
static struct region_descriptor fw_gdt; /* Descriptor of pristine GDT */
struct region_descriptor;
bare_lgdt(struct region_descriptor *addr)
sgdt(struct region_descriptor *addr)
lidt(struct region_descriptor *addr)
sidt(struct region_descriptor *addr)
void lidt(struct region_descriptor *addr);
extern struct region_descriptor r_gdt, r_idt;
void lgdt(struct region_descriptor *rdp);
struct region_descriptor;
lidt(struct region_descriptor *addr)
void lidt(struct region_descriptor *addr);