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;
}

proc efiEntry(EfiHandle imageHandle, EfiSystemTable *systemTable) -> EfiStatus;