/* i86HalK.h - header for the board info library  */

/* Copyright 2002-2008 Kontron Modular Computers GmbH */

/*
modification history
--------------------
01a,20jul10,edv created for Kontron-KTQ45 platform
*/

#ifndef __INCi86HalK_h
#define __INCi86HalK_h

#ifdef __cplusplus
extern "C" {
#endif

/* includes */

#include "vxWorks.h"
#include "hwif/h/multi/halK.h"
#include "versionK.h"

/* defines */

KONTRON_VERSION(i86HalK_h,01a)          /* version identifier */

/* endian adjustment macros (do nothing) */

#define BYTE_SWAP_32_BIT(x)	(x)
#define BYTE_SWAP_16_BIT(x)	(x)

#define CPU_BUS_CLOCK_100MHz	100000000
#define CPU_BUS_CLOCK_133MHz	133333333
#define CPU_BUS_CLOCK_166MHz	166666667
#define CPU_BUS_CLOCK_200MHz	200000000
#define CPU_BUS_CLOCK_233MHz	233333333
#define CPU_BUS_CLOCK_266MHz	266666667
#define CPU_BUS_CLOCK_333MHz	333333333
#define CPU_BUS_CLOCK_400MHz	400000000

#if defined(__STDC__) || defined(__cplusplus)

IMPORT char* halTopMemGet		(void);
IMPORT UINT32 halCpuBusClockGet	(void);

#else

IMPORT char* halTopMemGet		();
IMPORT UINT32 halCpuBusClockGet	();

#endif	/* __STDC__ */

#endif /* ifndef __INCi86HalK_h */

/* eof */
