Changeset ecf083dd in mainline


Ignore:
Timestamp:
2010-07-25T17:35:04Z (14 years ago)
Author:
Jiri Svoboda <jiri@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
a9b5b5f
Parents:
99b2564
Message:

Make machine_get_irq_count() a true machine op.

Location:
kernel/arch/arm32
Files:
7 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/arm32/include/mach/integratorcp/integratorcp.h

    r99b2564 recf083dd  
    105105extern void icp_get_memory_extents(uintptr_t *, uintptr_t *);
    106106extern void icp_frame_init(void);
     107extern size_t icp_get_irq_count(void);
    107108
    108109extern struct arm_machine_ops icp_machine_ops;
  • kernel/arch/arm32/include/mach/testarm/testarm.h

    r99b2564 recf083dd  
    7373extern void gxemul_get_memory_extents(uintptr_t *, uintptr_t *);
    7474extern void gxemul_frame_init(void);
     75extern size_t gxemul_get_irq_count(void);
    7576
    7677extern struct arm_machine_ops gxemul_machine_ops;
  • kernel/arch/arm32/include/machine_func.h

    r99b2564 recf083dd  
    5555        void (*machine_output_init)(void);
    5656        void (*machine_input_init)(void);
     57        size_t (*machine_get_irq_count)(void);
    5758};
    5859
  • kernel/arch/arm32/src/mach/gta02/gta02.c

    r99b2564 recf083dd  
    6969static void gta02_output_init(void);
    7070static void gta02_input_init(void);
     71static size_t gta02_get_irq_count(void);
    7172
    7273static void gta02_timer_irq_init(void);
     
    8990        gta02_frame_init,
    9091        gta02_output_init,
    91         gta02_input_init
     92        gta02_input_init,
     93        gta02_get_irq_count
    9294};
    9395
     
    210212}
    211213
     214size_t gta02_get_irq_count(void)
     215{
     216        return GTA02_IRQ_COUNT;
     217}
     218
    212219static void gta02_timer_irq_init(void)
    213220{
  • kernel/arch/arm32/src/mach/integratorcp/integratorcp.c

    r99b2564 recf083dd  
    6464        icp_frame_init,
    6565        icp_output_init,
    66         icp_input_init
     66        icp_input_init,
     67        icp_get_irq_count
    6768};
    6869
     
    336337}
    337338
     339size_t icp_get_irq_count(void)
     340{
     341        return ICP_IRQ_COUNT;
     342}
    338343
    339344/** @}
  • kernel/arch/arm32/src/mach/testarm/testarm.c

    r99b2564 recf083dd  
    6464        gxemul_frame_init,
    6565        gxemul_output_init,
    66         gxemul_input_init
     66        gxemul_input_init,
     67        gxemul_get_irq_count
    6768};
    6869
     
    126127}
    127128
     129size_t gxemul_get_irq_count(void)
     130{
     131        return GXEMUL_IRQ_COUNT;
     132}
     133
    128134/** Starts gxemul Real Time Clock device, which asserts regular interrupts.
    129135 *
  • kernel/arch/arm32/src/machine_func.c

    r99b2564 recf083dd  
    128128size_t machine_get_irq_count(void)
    129129{
    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)();
    142131}
    143132
Note: See TracChangeset for help on using the changeset viewer.