timer_irq_type irq; timer_status_type status; } timer_type; typedefenum { auto_frameskip, manual_frameskip, no_frameskip } frameskip_type; externu32 cpu_ticks; externu32 frame_ticks; externu32 execute_cycles; externframeskip_type current_frameskip_type; ...