root/sys/arch/evbarm/include/efi.h 
/*      $NetBSD: efi.h,v 1.1 2021/10/11 07:31:19 skrll Exp $    */

#include <arm/efi.h>