mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 10:40:03 +01:00
23 lines
651 B
C
23 lines
651 B
C
/*
|
|
*
|
|
* Authors: Michael LeMay, <mdlemay@epoch.ncsc.mil>
|
|
* George Coker, <gscoker@alpha.ncsc.mil>
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License version 2,
|
|
* as published by the Free Software Foundation.
|
|
*/
|
|
|
|
#ifndef __FLASK_H__
|
|
#define __FLASK_H__
|
|
|
|
#include <stdint.h>
|
|
#include <xen/xen.h>
|
|
#include <xen/xsm/flask_op.h>
|
|
|
|
int flask_load(int xc_handle, char *buf, int size);
|
|
int flask_context_to_sid(int xc_handle, char *buf, int size, uint32_t *sid);
|
|
int flask_sid_to_context(int xc_handle, int sid, char *buf, int size);
|
|
|
|
#endif /* __FLASK_H__ */
|