board.h

Go to the documentation of this file.

 
#ifndef __BOARD_H__
#define __BOARD_H__
 
#include <stdint.h>
 
/*
 * AuAA64BoardInitialize -- initialize board specific data
 */
extern void AuAA64BoardInitialize();
 
/*
 * AuAA64BoardSleepUS -- calls board specific sleep function
 */
extern void AuAA64BoardSleepUS(uint32_t us);
 
 
/*
 * AuAA64BoardSleepMS -- calls board specific sleep function
 * in ms
 */
extern void AuAA64BoardSleepMS(uint32_t ms);
 
 
extern void AuAA64BoardPowerDown();
 
extern void AuAA64BoardReboot();
 
extern uint64_t AuAA64BoardGetBootEpoch();
 
#endif