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) |
6 | SECURITY_READ_ONLY_LATE(const img4_interface_t *) img4if = NULL; |
7 | #else |
8 | const img4_interface_t *img4if = NULL; |
9 | #endif |
10 | |
11 | void |
12 | img4_interface_register(const img4_interface_t *i4) |
13 | { |
14 | if (img4if) { |
15 | panic("img4 interface already set"); |
16 | } |
17 | img4if = i4; |
18 | } |
19 |