1/*!
2 * @header
3 * Shims for the kernel extension.
4 */
5#ifndef __IMG4_SHIM_XNU_H
6#define __IMG4_SHIM_XNU_H
7
8#ifndef __IMG4_INDIRECT
9#error "Please #include <img4/firmware.h> instead of this file directly"
10#endif // __IMG4_INDIRECT
11
12#if !XNU_KERNEL_PRIVATE
13#include <TargetConditionals.h>
14#include <os/availability.h>
15#endif
16
17#include <os/base.h>
18#include <sys/linker_set.h>
19#include <sys/cdefs.h>
20#include <stdint.h>
21#include <stdbool.h>
22
23#endif // __IMG4_SHIM_XNU_H
24