// inet tapset macros
// Copyright (C) 2017 Red Hat Inc.
//
// This file is part of systemtap, and is free software.  You can
// redistribute it and/or modify it under the terms of the GNU General
// Public License (GPL); either version 2, or (at your option) any
// later version.

@define inet_sock_cast(ptr) %(
    @cast(@ptr, "inet_sock", "kernel<net/ip.h><net/inet_sock.h>")
%)