1 #ifndef XSM_FLASK_PRIVATE
2 #define XSM_FLASK_PRIVATE
3 
4 #include <public/xen.h>
5 
6 long cf_check do_flask_op(XEN_GUEST_HANDLE_PARAM(void) u_flask_op);
7 int cf_check compat_flask_op(XEN_GUEST_HANDLE_PARAM(void) u_flask_op);
8 
9 #endif /* XSM_FLASK_PRIVATE */
10