Definition in file template/tr_port.h.
#include "proj_config.h"
#include <tiros/tr_time.h>
#include "porttime.h"
Include dependency graph for template/tr_port.h:
Go to the source code of this file.
Defines | |
| #define | subtime_t uint16_t |
| #define | LT_INLINE static inline |
| #define | TRPORT_INF_TIME {~0 , ~0 } |
| #define | TIROS_REGISTER_PASSING |
| #define | ILLEGAL_STACK ((osstkptr_t) ~0) |
| #define | ILLEGAL_ADDR ((osptr_t) ~0) |
| #define | OS_PORT_CRITICAL_ENABLE() |
| #define | OS_PORT_CRITICAL_BEGIN() |
| #define | OS_PORT_CRITICAL_END() |
| #define | OS_PORT_ISR_BEGIN() |
| #define | OS_PORT_INT_ENABLE() |
| #define | OS_PORT_INT_DISABLE() |
| #define | TRPORT_MIN_CTXT_SZ 64 |
| #define | TRPORT_RESPONSE_TIME { 0, 80 } |
| #define | TIROS_KERNEL_TRAP_ENABLED 1 |
Typedefs | |
| typedef unsigned char | uint8_t |
| typedef char | int8_t |
| typedef unsigned short | uint16_t |
| typedef short | int16_t |
| typedef unsigned long | uint32_t |
| typedef long | int32_t |
| typedef unsigned int | osword_t |
| typedef void * | osptr_t |
| typedef osword_t * | osstkptr_t |
| typedef void(*) | osfnptr_t (void *) |
| typedef unsigned int | osptrword_t |
Functions | |
| osstkptr_t | hal_stk_init (osword_t *stk, osword_t stacksize, osfnptr_t pc, osptr_t init_arg) |
| static void | hal_retval_set (osstkptr_t ctxt_ptr, osptr_t retval) |
| osstkptr_t | hal_ctxt_switch (void) |
| void | hal_ctxt_load (osstkptr_t ctxt_ptr) |
| void | hal_init (void) |
| void | hal_time_get (trtime_t *lt) |
| int | hal_time_set (const trtime_t *lt) |
| void | hal_alarm_set (const trtime_t *lt) |
| void | OS_KERNEL_TRAP (void) |
| osptr_t | hal_pc_from_ctxt (osstkptr_t ctxt_ptr) |
| osword_t | hal_stkusage_max (osstpktr_t ctxt_ptr, osstkptr_t base_stkptr, osword_t stksize) |
| osword_t | hal_stkusage_curr (osstpktr_t ctxt_ptr, osstkptr_t base_stkptr, osword_t stksize) |