/*	$NetBSD: efi.h,v 1.1 2022/09/24 11:05:17 riastradh Exp $	*/

#include <x86/efi.h>