o PPP_IPX is defined in a header these days
o isdn_net_hangup takes an isdn_net_local *, simplifying
  code a bit.