tcpnotify_globals
__type(value, struct tcpnotify_globals);
struct tcpnotify_globals g, *gp;
int verify_result(const struct tcpnotify_globals *result)
struct tcpnotify_globals g = {0};