osbyte_read
count0 = osbyte_read(osbyte_VAR_VSYNC_TIMER);
return (uint8_t)(count0 - osbyte_read(osbyte_VAR_VSYNC_TIMER));
extern int osbyte_read(int);