struct in6_addr *addr, u16 port, 
struct in6_addr *addr, __be16 port, 
static inline void avc_print_ipv6_addr(struct audit_buffer *ab,				       struct in6_addr *addr, u16 port,				       char *name1, char *name2){	if (!ipv6_addr_any(addr))		audit_log_format(ab, " %s=%04x:%04x:%04x:%04x:%04x:"				 "%04x:%04x:%04x", name1, NIP6(*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