| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Access vector cache interface for the security server. | ||||
| 3 | * | ||||
| 4 | * Author : Stephen Smalley, <sds@epoch.ncsc.mil> | ||||
| 5 | */ | ||||
| 6 | #ifndef _SELINUX_AVC_SS_H_ | ||||
| 7 | #define _SELINUX_AVC_SS_H_ | ||||
| 8 | |||||
| 9 | #include "flask.h" | ||||
| 10 | |||||
| 11 | int avc_ss_reset(u32 seqno); | ||||
| 12 | |||||
| 13 | #endif /* _SELINUX_AVC_SS_H_ */ | ||||
| 14 | |||||