taglinefilesource code
olr570net/ipv4/ipmr.cint olr;
olr578net/ipv4/ipmr.colr=get_user(optlen);
olr579net/ipv4/ipmr.cif(olr!=sizeof(int))