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 loader_idt;/* Descriptor for loader
static struct region_descriptor fw_gdt; /* Descriptor of pristine GDT */
struct region_descriptor r_gdt;
static struct region_descriptor wrmsr_early_safe_orig_efi_idt;
struct region_descriptor efi_idt;
struct region_descriptor r_idt;
struct region_descriptor ap_gdt;
struct region_descriptor r_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)
struct region_descriptor pcb_gdt;
struct region_descriptor pcb_idt;
struct region_descriptor pcb_ldt;
extern struct region_descriptor r_idt;
void lgdt(struct region_descriptor *rdp);
struct region_descriptor gdtr, idtr;
struct region_descriptor r_gdt, r_idt; /* table descriptors */
struct region_descriptor r_gdt, r_idt;
struct region_descriptor r_idt;
struct region_descriptor r_gdt, r_idt;
struct region_descriptor;
lidt(struct region_descriptor *addr)
struct region_descriptor pcb_gdt;
struct region_descriptor pcb_idt;
void lgdt(struct region_descriptor *rdp);
struct region_descriptor null_idt;