#ifndef TDKPIN_TIMER_TICK_H
#define TDKPIN_TIMER_TICK_H

#include "tdkpin_segmented.h"

void tdkpin_timer_tick_with_frame(
    uint16_t frame_bp, Win16FarPtr window);
void tdkpin_timer_tick(
    Win16FarPtr window,
    uint32_t ignored_callback_argument); /* 1000:eab1, RETF 8 */

#endif