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));}