如何在UEFI中使用fprintf

Question

fprintf库中有Stdio个功能。

但如何使用呢？

第一个参数是FILE类型。

但是我从EFI_FILE_PROTOCOL* File函数得到了EFIOpenFile。如何映射到FILE类型？

Answer 1

有托管环境和独立环境。

来自C标准：

  

这两种符合规范的实施方式是托管和独立的。符合要求的托管实现应接受任何严格符合的程序。符合标准的独立实现应接受任何严格符合的程序，其中库条款（第7节）中指定的特性的使用仅限于标准标题<float.h>，<iso646.h>，{{1的内容}，<limits.h>，<stdalign.h>，<stdarg.h>，<stdbool.h>，<stddef.h>和<stdint.h>。符合条件的实现可能具有扩展（包括其他库函数），前提是它们不会改变任何严格符合程序的行为。

因此，在独立环境中（如您所描述的UEFI环境），C标准不需要定义/声明<stdnoreturn.h>函数，也不需要{{1} }要定义的类型。因此，您需要自己编写代码。