syz_genetlink_get_family_id$tipc(&(0x7f0000000000), 0xffffffffffffffff)
syz_genetlink_get_family_id$tipc2(&(0x7f00000002c0), 0xffffffffffffffff)