notify_msc_checked

Description:

public VoidCookie notify_msc_checked (Window window, uint32 serial, uint64 target_msc, uint64 divisor, uint64 remainder)