Changeset ecf083dd in mainline
- Timestamp:
- 2010-07-25T17:35:04Z (14 years ago)
- Branches:
- lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
- Children:
- a9b5b5f
- Parents:
- 99b2564
- Location:
- kernel/arch/arm32
- Files:
-
- 7 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/arch/arm32/include/mach/integratorcp/integratorcp.h
r99b2564 recf083dd 105 105 extern void icp_get_memory_extents(uintptr_t *, uintptr_t *); 106 106 extern void icp_frame_init(void); 107 extern size_t icp_get_irq_count(void); 107 108 108 109 extern struct arm_machine_ops icp_machine_ops; -
kernel/arch/arm32/include/mach/testarm/testarm.h
r99b2564 recf083dd 73 73 extern void gxemul_get_memory_extents(uintptr_t *, uintptr_t *); 74 74 extern void gxemul_frame_init(void); 75 extern size_t gxemul_get_irq_count(void); 75 76 76 77 extern struct arm_machine_ops gxemul_machine_ops; -
kernel/arch/arm32/include/machine_func.h
r99b2564 recf083dd 55 55 void (*machine_output_init)(void); 56 56 void (*machine_input_init)(void); 57 size_t (*machine_get_irq_count)(void); 57 58 }; 58 59 -
kernel/arch/arm32/src/mach/gta02/gta02.c
r99b2564 recf083dd 69 69 static void gta02_output_init(void); 70 70 static void gta02_input_init(void); 71 static size_t gta02_get_irq_count(void); 71 72 72 73 static void gta02_timer_irq_init(void); … … 89 90 gta02_frame_init, 90 91 gta02_output_init, 91 gta02_input_init 92 gta02_input_init, 93 gta02_get_irq_count 92 94 }; 93 95 … … 210 212 } 211 213 214 size_t gta02_get_irq_count(void) 215 { 216 return GTA02_IRQ_COUNT; 217 } 218 212 219 static void gta02_timer_irq_init(void) 213 220 { -
kernel/arch/arm32/src/mach/integratorcp/integratorcp.c
r99b2564 recf083dd 64 64 icp_frame_init, 65 65 icp_output_init, 66 icp_input_init 66 icp_input_init, 67 icp_get_irq_count 67 68 }; 68 69 … … 336 337 } 337 338 339 size_t icp_get_irq_count(void) 340 { 341 return ICP_IRQ_COUNT; 342 } 338 343 339 344 /** @} -
kernel/arch/arm32/src/mach/testarm/testarm.c
r99b2564 recf083dd 64 64 gxemul_frame_init, 65 65 gxemul_output_init, 66 gxemul_input_init 66 gxemul_input_init, 67 gxemul_get_irq_count 67 68 }; 68 69 … … 126 127 } 127 128 129 size_t gxemul_get_irq_count(void) 130 { 131 return GXEMUL_IRQ_COUNT; 132 } 133 128 134 /** Starts gxemul Real Time Clock device, which asserts regular interrupts. 129 135 * -
kernel/arch/arm32/src/machine_func.c
r99b2564 recf083dd 128 128 size_t machine_get_irq_count(void) 129 129 { 130 size_t irq_count; 131 132 #if defined(MACHINE_gta02) 133 irq_count = GTA02_IRQ_COUNT; 134 #elif defined(MACHINE_testarm) 135 irq_count = GXEMUL_IRQ_COUNT; 136 #elif defined(MACHINE_integratorcp) 137 irq_count = ICP_IRQ_COUNT; 138 #else 139 #error Machine type not defined. 140 #endif 141 return irq_count; 130 return (machine_ops->machine_get_irq_count)(); 142 131 } 143 132
Note:
See TracChangeset
for help on using the changeset viewer.