# There is some very dubious code to locate the values of
# tcb.rcv_adv, tcb.snd_nxt and tcb.rcv_nxt for a socket.
so add: CPPFLAGS+= -D_KMEMUSER