/efi.h/1.2.4.1/Tue Aug  1 16:05:12 2023//Tnetbsd-10-1-RELEASE
D
