// 8021x.c
void getPAEStatus(char*, int);

// ttls.c
void initTTLS(char*, char*, Timers*t);
int processTTLS(uchar*rcvp, uint rcvl, int, uchar*txp, uint mtu, int*succ, int*fail);
void abortTTLS(void);

// phase2.c
void doTTLSphase2(int fd);

// key.c
void handleKey(int fd, Eapol* p, int len);

// util.c
char* hexprefix(uchar *s, int n, int l);
int apetheraddr(uchar *eaddr, char*file);
void put24(uchar *p, int x);

// timer.c
void initTimers(Timers*);
Timer* addTimer(Timers *, char*);
void startTimer(Timer*, int);
void tickTimer(Timer *);
void resetTimer(Timer *);
void clockproc(void *);