/*-
 * This file is in the public domain since it's just boilerplate.
 */

#ifndef __ARM_INCLUDE_EFI_H_
#define __ARM_INCLUDE_EFI_H_

#define	EFIABI_ATTR

#endif /* __ARM_INCLUDE_EFI_H_ */