#ifndef CLIENT
int cavium_detect_model();
void init_cavium();
void cavium_poke16(unsigned int, unsigned short);
unsigned short cavium_peek16(unsigned int);

extern void (*buslock)(void);
extern void (*busunlock)(void);
extern void (*buspreempt)(void);

#endif
/*
  Author: Michael Schmidt (michael@embeddedARM.com)
 */