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

#include <x86/efi.h>