/*
* linux/include/linux/proc_avc.h
*
*/
extern int __init sec_avc_log_init(void);
extern void sec_avc_log(char *fmt, ...);