/sys/stand/efi/include/riscv64/

• ../
• efibind.h