Function leave_ip_multicast_with_config

pub fn leave_ip_multicast_with_config<I: IpDeviceIpExt, BC: IpDeviceBindingsContext<I, CC::DeviceId>, CC: IpDeviceStateContext<I, BC> + GmpHandler<I, BC>>(
    core_ctx: &mut CC,
    bindings_ctx: &mut BC,
    device_id: &CC::DeviceId,
    multicast_addr: MulticastAddr<I::Addr>,
    _config: &I::Configuration,
)

Leaves the multicast group multicast_addr on device_id.

_config is not used but required to make sure that the caller is currently holding a a reference to the IP device’s IP configuration as a way to prove that caller has synchronized this operation with other accesses to the IP device configuration.