Rename up_timerinit() to up_timer_initailize(); Add prototypes for candidate interfaces for the tickless OS; Don't build existing timer initialization logic if CONFIG_SCHED_TICKLESS is defined.

This commit is contained in:
Gregory Nutt 2014-08-06 16:26:01 -06:00
parent 6663d87227
commit f2e342e9d0
6 changed files with 8 additions and 8 deletions

View File

@ -115,7 +115,7 @@ echo "EXTERN(up_vectoraddrexcptn)" >>ld-locked.inc
#
# Of course, this list must be extended as interrupt handlers are added.
echo "EXTERN(up_timerinit)" >>ld-locked.inc
echo "EXTERN(up_timer_initialize)" >>ld-locked.inc
answer=$(checkconfig CONFIG_LPC31_UART)
if [ $answer = y ]; then

View File

@ -696,7 +696,7 @@ Configurations
CONFIG_EXAMPLES_NXLINES_CIRCLECOLOR=0xf7bb
CONFIG_EXAMPLES_NXLINES_BPP=16
STATUS: Now working; reads 0x8999 as device ID. This may perhaps
STATUS: Not working; reads 0x8999 as device ID. This may perhaps
be due to incorrect jumper settings
6. This configuration has been used for verifying the touchscreen on

View File

@ -77,7 +77,7 @@ void up_irqinitialize(void)
*
* NOTE: Normally, there are seperate enables for "global" interrupts
* and specific device interrupts. In such a "normal" case, the timer
* interrupt should be attached and enabled in the function up_timerinit()
* interrupt should be attached and enabled in the function up_timer_initialize()
*/
irq_attach(Z80_IRQ_SYSTIMER, (xcpt_t)up_timerisr);

View File

@ -80,7 +80,7 @@ int up_timerisr(int irq, FAR chipreg_t *regs)
}
/****************************************************************************
* Function: up_timerinit
* Function: up_timer_initialize
*
* Description:
* This function is called during start-up to initialize the timer
@ -88,7 +88,7 @@ int up_timerisr(int irq, FAR chipreg_t *regs)
*
****************************************************************************/
void up_timerinit(void)
void up_timer_initialize(void)
{
/* The timer interrupt was attached in up_irqinitialize -- see comments there */
}

View File

@ -77,7 +77,7 @@ void up_irqinitialize(void)
*
* NOTE: Normally, there are seperate enables for "global" interrupts
* and specific device interrupts. In such a "normal" case, the timer
* interrupt should be attached and enabled in the function up_timerinit()
* interrupt should be attached and enabled in the function up_timer_initialize()
*/
irq_attach(Z80_IRQ_SYSTIMER, (xcpt_t)up_timerisr);

View File

@ -80,7 +80,7 @@ int up_timerisr(int irq, FAR chipreg_t *regs)
}
/****************************************************************************
* Function: up_timerinit
* Function: up_timer_initialize
*
* Description:
* This function is called during start-up to initialize the timer
@ -88,7 +88,7 @@ int up_timerisr(int irq, FAR chipreg_t *regs)
*
****************************************************************************/
void up_timerinit(void)
void up_timer_initialize(void)
{
/* The timer interrupt was attached in up_irqinitialize -- see comments there */
}