#include <stdint.h>

int eos_ctp_init(void);
int eos_ctp_reset(void);
int eos_ctp_sleep(void);
int eos_ctp_wake(void);
int eos_ctp_handle_intr(void);