blob: f57951d28c5277b229718b1dd170323e3c196ece (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
#ifndef __SSX_PORT_TYPES_H__
#define __SSX_PORT_TYPES_H__
// $Id: ssx_port_types.h,v 1.1.1.1 2013/12/11 21:03:27 bcbrock Exp $
// $Source: /afs/awd/projects/eclipz/KnowledgeBase/.cvsroot/eclipz/chips/p8/working/procedures/ssx/ppc405/ssx_port_types.h,v $
//-----------------------------------------------------------------------------
// *! (C) Copyright International Business Machines Corp. 2013
// *! All Rights Reserved -- Property of IBM
// *! *** IBM Confidential ***
//-----------------------------------------------------------------------------
/// \file ssx_port_types.h
/// \brief Type definitions required by the SSX port.
///
/// \todo GCC provides a portable version of cntlzw called __builtin_clz().
/// We should make the SSX priority queues portable by using this facility.
///
/// \todo I think that if more of the port-dependent types were moved here, we
/// could break the circular dependencies in some of the header inclusion and
/// simplify the way the SSX/port/chip headers are included.
/// An SsxIrqId is an integer in the range of valid interrupts defined by the
/// interrupt controller.
typedef uint8_t SsxIrqId;
/// SSX requires the port to define the type SsxThreadQueue, which is a
/// priority queue (where 0 is the highest priority). This queue must be able
/// to handle SSX_THREADS + 1 priorities (the last for the idle thread). The
/// port must also define methods for clearing, insertion, deletion and min
/// (with assumed legal priorities). The min operation returns SSX_THREADS if
/// the queue is empty. (Or a queue could be initialized with the SSX_THREADS
/// entry always present - SSX code never tries to delete the idle thread from
/// a thread queue).
///
/// These queues are used both for the run queue and the pending queue
/// associated with every semaphore.
///
/// On PPC405 with 32 threads (implied), this is a job for a uint32_t and
/// cntlzw().
typedef uint32_t SsxThreadQueue;
#endif /* __SSX_PORT_TYPES_H__ */
|
