1#include <libkern/libkern.h>
2#include <libkern/section_keywords.h>
3#include <libkern/img4/interface.h>
4
5#if defined(SECURITY_READ_ONLY_LATE)
6SECURITY_READ_ONLY_LATE(const img4_interface_t *) img4if = NULL;
7#else
8const img4_interface_t *img4if = NULL;
9#endif
10
11void
12img4_interface_register(const img4_interface_t *i4)
13{
14 if (img4if) {
15 panic("img4 interface already set");
16 }
17 img4if = i4;
18}
19