// 8021x.c
void getPAEStatus(char*, int);
long getChangetime(int);
ReadBuf *getKeysbuf(void);
ReadBuf *getNotesbuf(void);
void markPhaseStart(int, char*);
void markPhaseDone(int, char*);
void markPhaseResult(int, char*, int);

// fs.c
void initFs(void);
int loglog(char*, ...);
int tlslog(char*, ...);

// ttls.c
void initTTLS(char*, char*, Timers*);
int processTTLS(uchar*, uint , int, uchar*, uint , int*, int*);
void abortTTLS(void);

// phase2.c
void doTTLSphase2(int);

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

// netlog.c
void netloginit(Netlog*, char*, int);
void netlogopen(Netlog*);
void netlogclose(Netlog*);
long netlogread(Netlog*, void*, long, vlong, int*);
int netlog(Netlog*, char*, va_list);

// util.c
int apetheraddr(uchar*, char*);
void put24(uchar*, int);
char* nsctime(vlong);
long nsec2sec(vlong ns);
char* getstring(char*);
void clearlog(ReadBuf*);
void appendlog(ReadBuf*, int, char*, ...);
void logall(char*, ...);
void logfatal(int, char*, ...);

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