type EfiStatus: uint32;
type EfiHandle: any*;

type EfiGuid: struct {
    uint32 data1;
    uint16 data2;
    uint16 data3;
};

type EfiTableHeader: struct {
    uint64 signature;
    uint32 revision;
    uint32 headerSize;
    uint32 crc32;
    uint32 reserved;
};

type EfiRuntimeServices: struct {
    EfiTableHeader hdr;
};

type EfiBootServices: struct {
    EfiTableHeader hdr;
};

type EfiConfigurationTable: struct {
    EfiGuid vendorGuid;
    any* vendorTable;
};

type EfiSystemTable: struct {
    EfiTableHeader hdr;

    any* firmwareVendor;
    uint32 firmwareRevision;

    EfiHandle consoleInHandle;
    any* conIn;
    EfiHandle consoleOutHandle;
    any* conOut;
    EfiHandle standardErrorHandle;
    any* stdErr;

    EfiRuntimeServices* runtimeServices;
    EfiBootServices* bootServices;

    uint numberOfTableEntries;
    EfiConfigurationTable* configurationTable;
};