patrick/zephyr
1
0
Fork 0
Code Issues Pull requests Actions 8 Packages Projects Releases Wiki Activity

Rename _i8253IntStub to _i8253_interrupt_stub

Browse source 
Updating global variable's name to follow a consistent naming convention.

Change accomplished with the following script:

   #!/bin/bash
   echo "Searching for ${1} to replace with ${2}"
   find ./ \( -name "*.[chs]" -o -name "sysgen.py" -o -name "*.kconf" -o -name "*.arch" \) \
            ! -path "./host/src/genIdt/*" \
            ! -path "*/outdir/*" | xargs sed -i 's/\b'${1}'\b/'${2}'/g';

Change-Id: Ie0770bd9ff872a9ed2b567baca1514d15fe6c90a
Signed-off-by: Yonattan Louise <yonattan.a.louise.mendoza@intel.com>
This commit is contained in:
Yonattan Louise 2015-05-08 17:12:59 -05:00 committed by Anas Nashif
parent 9935ba54d2
commit 639aa532e4
2 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
arch/x86/bsp/driver_static_irq_stubs.s
View file

@ -61,7 +61,7 @@ by x86 BSPs.
#endif
#if defined (CONFIG_PIT)
GTEXT(_i8253IntStub)
GTEXT(_i8253_interrupt_stub)
#endif
#if defined(CONFIG_BLUETOOTH_UART)
@ -141,7 +141,7 @@ SECTION_FUNC(TEXT, _slaveStrayIntStub)
#endif /* CONFIG_PIC */
#if defined(CONFIG_PIT)
SECTION_FUNC(TEXT, _i8253IntStub)
SECTION_FUNC(TEXT, _i8253_interrupt_stub)
call _IntEnt /* Inform kernel interrupt has begun */
pushl $0 /* Push dummy parameter */
call _timer_int_handler /* Call actual interrupt handler */

8
drivers/timer/i8253.c
View file

@ -126,10 +126,10 @@ extern int32_t _sys_idle_elapsed_ticks;
/* interrupt stub memory for irq_connect() */
#ifndef CONFIG_DYNAMIC_INT_STUBS
extern void *_i8253IntStub;
SYS_INT_REGISTER(_i8253IntStub, PIT_INT_LVL, PIT_INT_PRI);
extern void *_i8253_interrupt_stub;
SYS_INT_REGISTER(_i8253_interrupt_stub, PIT_INT_LVL, PIT_INT_PRI);
#else
static NANO_CPU_INT_STUB_DECL(_i8253IntStub);
static NANO_CPU_INT_STUB_DECL(_i8253_interrupt_stub);
#endif
static uint16_t __noinit counterLoadVal; /* computed counter */
@ -526,7 +526,7 @@ void timer_driver(int priority /* priority parameter ignored by this driver */
PIT_INT_PRI,
_i8253IntHandlerPeriodic,
0,
_i8253IntStub);
_i8253_interrupt_stub);
#endif /* CONFIG_DYNAMIC_INT_STUBS */
_i8253TicklessIdleSkew();