/* File in public domain */
/* Brings in the glue for UEFI/EDK2 Tianocore code to run on this OS */
/* $FreeBSD: head/lib/libefivar/ProcessorBind.h 314926 2017-03-09 00:31:31Z imp $ */
#include "efi-osdep.h"