[PATCH v2 1/4] kernel32: Return BIOS info from GetSystemFirmwareTable on Linux

[Huw Davies]

On Mon, May 28, 2018 at 10:05:26PM -0600, Alex Henrie wrote:
>  /***********************************************************************
>   *           GetSystemFirmwareTable       (KERNEL32.@)
>   */
>  UINT WINAPI GetSystemFirmwareTable(DWORD provider, DWORD id, PVOID buffer, DWORD size)
>  {
> -    FIXME("(%d %d %p %d):stub\n", provider, id, buffer, size);
> +    FIXME("(%08x %08x %p %d): semi-stub\n", provider, id, buffer, size);

This should probably be forwarded to
NtQuerySystemInformation(SystemFirmwareTableInformation, ...).

Huw.