u16 port, char *name1, char *name2) 
__be16 port, char *name1, char *name2) 
static inline void avc_print_ipv4_addr(struct audit_buffer *ab, u32 addr,				       u16 port, char *name1, char *name2){	if (addr)		audit_log_format(ab, " %s=%d.%d.%d.%d", name1, NIPQUAD(addr));	if (port)		audit_log_format(ab, " %s=%d", name2, ntohs(port));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b5bf6c55edf94e9c7fc01724d5b271f78eaf1d3f/avc.c/buggy/security/selinux/avc.c