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