mp_uefi.h

struct uefi_madt {
  uchar sig[4];
  uint len;
  uchar rev;
  uchar chksum;
  uchar oem_id[6];
  uchar oem_table[8];
  uint oem_rev;
  uint creator_id;
  uint creator_rev;
  uint lapic_addr;
  uint flags;
};

struct __attribute__((packed)) uefi_lapic {
  uchar entry_type;
  uchar record_len;
  uchar processor_id;
  uchar lapic_id;
  uint flags;
};

struct __attribute__((packed)) uefi_ioapic {
  uchar entry_type;
  uchar record_len;
  uchar ioapic_id;
  uchar reserved;
  uint ioapic_addr;
  uint global_sys_intr_base;
};

struct __attribute__((packed)) uefi_iso {
  uchar entry_type;
  uchar record_len;
  uchar bus_src;
  uchar irq_src;
  uint gsi;
  uchar flags[2];
};

struct __attribute__((packed)) uefi_non_maskable_intr {
  uchar entry_type;
  uchar record_len;
  uchar acpi_processor_id;
  uchar flags[2];
  uchar lint;
};