diff options
Diffstat (limited to 'xen/include/xsm')
| -rw-r--r-- | xen/include/xsm/xsm.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/xen/include/xsm/xsm.h b/xen/include/xsm/xsm.h index e83dca26d5..5dc59ddfd6 100644 --- a/xen/include/xsm/xsm.h +++ b/xen/include/xsm/xsm.h @@ -761,6 +761,11 @@ static inline void flask_init(const void *policy_buffer, size_t policy_size) } #endif +#ifdef CONFIG_XSM_POLICY +extern const unsigned char xsm_init_policy[]; +extern const unsigned int xsm_init_policy_size; +#endif + #else /* CONFIG_XSM */ #include <xsm/dummy.h> |