66 

    66 

    67     void HW_pause(void);

    67     void HW_pause(void);

    68     void HW_pauseToggle(void);

    68     void HW_pauseToggle(void);

    69     BOOL HW_isPaused(void);

    69     BOOL HW_isPaused(void);

    70 

    70 

    71     void HW_terminate(BOOL andCloseFrontend);

    72     void HW_terminate(BOOL andCloseFrontend);

    72     void HW_suspend(void);

    73     void HW_suspend(void);

    73     void HW_resume(void);

    74     void HW_resume(void);

    74 

    75 

    75     void HW_setCursor(int x, int y);

    76     void HW_setCursor(int x, int y);