STDIO.H

The public symbol file NTKRPAMP.PDB for the original release of Windows 10 tells that the kernel is built with the STDIO.H header at

d:\th.public.fre\sdk\inc\crt

and draws from it the following type definition:

The header STDIO.H has long been supplied with Microsoft’s C compiler.