blob: a1f4d21c1ba5e6bbf59711a5e2db7b33ea4d4372 [file] [log] [blame]
Wolfgang Denk4646d2a2006-05-30 15:56:48 +02001/**
2 * @file IxOsalIxpOem.h
3 *
4 * @brief this file contains platform-specific defines.
5 *
6 *
7 * @par
8 * IXP400 SW Release version 2.0
9 *
10 * -- Copyright Notice --
11 *
12 * @par
13 * Copyright 2001-2005, Intel Corporation.
14 * All rights reserved.
15 *
16 * @par
Wolfgang Denkc57eadc2013-07-28 22:12:47 +020017 * SPDX-License-Identifier: BSD-3-Clause
Wolfgang Denk4646d2a2006-05-30 15:56:48 +020018 * @par
19 * -- End of Copyright Notice --
20 */
21
22#ifndef IxOsalOem_H
23#define IxOsalOem_H
24
25#include "IxOsalTypes.h"
26
27/* OS-specific header for Platform package */
28#include "IxOsalOsIxp400.h"
29
30/*
31 * Platform Name
32 */
33#define IX_OSAL_PLATFORM_NAME ixp400
34
35/*
36 * Cache line size
37 */
38#define IX_OSAL_CACHE_LINE_SIZE (32)
39
40
41/* Platform-specific fastmutex implementation */
42PUBLIC IX_STATUS ixOsalOemFastMutexTryLock (IxOsalFastMutex * mutex);
43
44/* Platform-specific init (MemMap) */
45PUBLIC IX_STATUS
46ixOsalOemInit (void);
47
48/* Platform-specific unload (MemMap) */
49PUBLIC void
50ixOsalOemUnload (void);
51
52/* Default implementations */
53
54PUBLIC UINT32
55ixOsalIxp400SharedTimestampGet (void);
56
57
58UINT32
59ixOsalIxp400SharedTimestampRateGet (void);
60
61UINT32
62ixOsalIxp400SharedSysClockRateGet (void);
63
64void
65ixOsalIxp400SharedTimeGet (IxOsalTimeval * tv);
66
67
68INT32
69ixOsalIxp400SharedLog (UINT32 level, UINT32 device, char *format,
70 int arg1, int arg2, int arg3, int arg4,
71 int arg5, int arg6);
72
73#endif /* IxOsal_Oem_H */