R_RTC_Set_BinaryCounterValue

void    R_RTC_Set_BinaryCounterValue ( uint32_t counter_write_val );