/* SCCSID @(#)device.c	1.18 1/12/98 */ #include "../driver/common.h"#include "../driver/common1.h"#include "../driver/buffer.h"#include "../dsa.h"#include "globals.h"#if (CUST3 && !CUST71)#define PLAY20_KEY    RESUME_KEY#else#define PLAY20_KEY    GOTO_KEY#endifextern unsigned int *TrackInfoAdr;extern int VCD_30;extern int vcd30_cwdloc;extern volatile unsigned int glbTimer;int getInfraCode(){    int key;#if 0    TV_mode_detect(); #endif    VCX_service();#ifdef NO_MICRO    microEngine();#endif#ifdef SERVO    SERVO_service();    SERVO_mode_handle();#endif    key = get_keycode();    return key;}#undef DRIVER