r0 = syz_init_net_socket$802154_dgram(0x24, 0x2, 0x0)
getsockopt$SO_TIMESTAMPING(r0, 0x1, 0x25, &(0x7f00000000c0), &(0x7f0000000100)=0x4)