// 8021x.c
void getPAEStatus(char*, int);
long getChangetime(int);
void backproc(void*);
void paeproc(void*);
PAEstate* init8021x(Etherstate*, Timers*, Phasestate*);
void start8021xprocs(PAEstate*);

// ether.c
Etherstate* initether(void);
void etherproc(void*);

// fs.c
void initFs(void);
int loglog(char*, ...);
#pragma	varargck	argpos	loglog	1
int tlslog(char*, ...);
#pragma	varargck	argpos	tlslog	1

// 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);
#pragma	varargck	argpos	netlog	2

// phases.c
void markPhaseStart(int, char*);
void markPhaseDone(int, char*);
void markPhaseResult(int, char*, int);
Phasestate* phasesinit(void);

// phase2.c
void doTTLSphase2(int);

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

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

// util.c
int apetheraddr(uchar*, char*);
void put24(uchar*, int);
char* nsctime(vlong);
long nsec2sec(vlong ns);
char* getstring(char*);
void initbufs(void);
ReadBuf *getKeysbuf(void);
ReadBuf *getNotesbuf(void);
void clearlog(ReadBuf*);
void appendlog(ReadBuf*, int, char*, ...);
#pragma	varargck	argpos	appendlog	3
void logall(char*, ...);
#pragma	varargck	argpos	logall	1
void logfatal(int, char*, ...);
#pragma	varargck	argpos	logfatal	2