DAT_frameCounter (doc. page 23)

This counter won't increase in case of dropped frame (slowdown), there's a "real" frame counter handled by the bios @ 0x10FE88 (uint32). Pick the one that fits your needs.