root/sys/arch/amd64/include/efi.h 
/*      $NetBSD: efi.h,v 1.1 2022/09/24 11:05:17 riastradh Exp $        */

#include <x86/efi.h>