Fix for bug 2283 (RVCT 4.0 support is missing from PDK 3.0.h)
Have multiple extension sections in the bld.inf, one for each version
of the compiler. The RVCT version building the tools will build the
runtime libraries for its version, but make sure we extract all the other
versions from zip archives. Also add the archive for RVCT4.
/*
* Copyright (c) 2003-2009 Nokia Corporation and/or its subsidiary(-ies).
* All rights reserved.
* This component and the accompanying materials are made available
* under the terms of the License "Eclipse Public License v1.0"
* which accompanies this distribution, and is available
* at the URL "http://www.eclipse.org/legal/epl-v10.html".
*
* Initial Contributors:
* Nokia Corporation - initial contribution.
*
* Contributors:
*
* Description:
* e32\personality\example\personality.h
* External interface header file for example RTOS personality.
* This will be included by the real time application source files.
*
* WARNING: This file contains some APIs which are internal and are subject
* to change without notice. Such APIs should therefore not be used
* outside the Kernel and Hardware Services package.
*/
/**
@file
@internalComponent
*/
#ifndef __PERSONALITY_H__
#define __PERSONALITY_H__
// should be separate C function
#define kprintf Kern::Printf
#define assert(x) __NK_ASSERT_ALWAYS(x)
#if defined(__GCC32__)
typedef unsigned long size_t;
#elif defined(__CW32__)
typedef unsigned int size_t;
#elif defined(__ARMCC__)
typedef unsigned int size_t;
#endif
#ifdef __cplusplus
extern "C" {
#endif
/* Return codes */
#define OK 0
#define BAD_TASK_ID (-100)
#define BAD_PRIORITY (-101)
#define TIMED_OUT (-102)
#define TIMER_IN_USE (-103)
#define BAD_ENTRY_POINT (-104)
#define BAD_STACK_SIZE (-105)
#define OUT_OF_MEMORY (-106)
#define BAD_TIMER_ID (-107)
#define BAD_TIME_INTERVAL (-108)
#define BAD_SEM_ID (-109)
/* Task priority range */
#define MIN_TASK_PRIORITY 0
#define MAX_TASK_PRIORITY 255
/* Task stack size */
#define MIN_STACK_SIZE 256
/* Special task IDs */
#define TASK_ID_ISR (-1)
#define TASK_ID_UNKNOWN (-2) /* non-personality layer thread */
/* Time values */
#define NO_WAIT 0 /* Never block */
#define WAIT_FOREVER (-1) /* Never time out */
/* Special message IDs */
#define MSG_ID_TIMEOUT 0x80000000
typedef void (*task_entry)(void);
/* Information required to create a task */
typedef struct _taskinfo
{
task_entry entry_pt;
int priority;
size_t stack_size;
short task_id;
short auto_start;
} taskinfo;
/* Externally supplied table of tasks which will be created at boot time */
extern const taskinfo task_list[];
/* Memory pool creation info */
typedef struct _poolinfo
{
size_t block_size;
unsigned block_count;
} poolinfo;
/* Externally supplied list of memory pools which will be created at boot time */
extern const poolinfo pool_list[];
/* Message header */
typedef struct _msghdr
{
struct _msghdr* next;
int msg_id;
int sending_task_id;
} msghdr;
/* Timers */
extern const int timer_count;
typedef struct _timer_msg
{
msghdr header;
void* cookie;
unsigned count;
} timer_msg;
/* Semaphores */
extern const int semaphore_count;
/* Task APIs */
extern int suspend_task(int id); /* call from any thread */
extern int resume_task(int id); /* call from any thread */
extern int get_task_priority(int id); /* call from any thread */
extern int set_task_priority(int id, int priority); /* call from any thread */
extern int current_task_id(void); /* call from any thread or ISR */
extern void disable_preemption(void); /* call from any thread */
extern void enable_preemption(void); /* call from any thread */
extern int disable_interrupts(void); /* call from any thread */
extern void restore_interrupts(int level); /* call from any thread */
/* Memory management */
extern void* alloc_mem_block(size_t size); /* call from any thread or ISR */
extern void free_mem_block(void* block); /* call from any thread or ISR */
/* Messages */
extern int send_msg(int task_id, msghdr* msg); /* call from any thread or ISR */
extern int recv_msg(msghdr** msgptr, int time_ticks); /* call only from personality layer thread */
/* Timer APIs */
extern unsigned tick_count(void); /* call from any thread or ISR */
extern void delay(int time_interval); /* call from any thread */
extern int start_one_shot_timer(int timer_id, int task_id, int time_ticks, void* cookie); /* call from any thread or ISR */
extern int start_periodic_timer(int timer_id, int task_id, int initial_time_ticks, int period_ticks, void* cookie); /* call from any thread or ISR */
extern int stop_timer(int timer_id); /* call from any thread or ISR */
/* Semaphore APIs */
extern int semaphore_wait(int sem_id, int time_ticks); /* call only from personality layer thread */
extern int semaphore_signal(int sem_id); /* call from any thread or ISR */
/* Initialisation */
extern void init_personality(void); /* call from extension entry point */
/* Communication with EPOC */
extern void send_to_epoc(msghdr* msgptr);
#ifdef __cplusplus
}
#endif
#endif