Changeset 24abb85d in mainline for kernel/arch/arm32


Ignore:
Timestamp:
2017-08-18T23:27:08Z (8 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
4d76cfc
Parents:
e9d15d9
Message:

Remove SYS_DEVICE_ASSIGN_DEVNO

Location:
kernel/arch/arm32/src
Files:
6 edited

Legend:

Unmodified
Added
Removed

  • kernel/arch/arm32/src/interrupt.c

    re9d15d9 r24abb85d  
    3838#include <arch/machine_func.h>
    3939#include <ddi/irq.h>
    40 #include <ddi/device.h>
    4140#include <interrupt.h>
    4241

  • kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c

    re9d15d9 r24abb85d  
    4444#include <mm/km.h>
    4545#include <ddi/ddi.h>
    46 #include <ddi/device.h>
    4746
    4847static void bbxm_init(void);
    … …  
    117116        static irq_t timer_irq;
    118117        irq_initialize(&timer_irq);
    119         timer_irq.devno = device_assign_devno();
    120118        timer_irq.inr = AMDM37x_GPT1_IRQ;
    121119        timer_irq.claim = bb_timer_irq_claim;

  • kernel/arch/arm32/src/mach/beaglebone/beaglebone.c

    re9d15d9 r24abb85d  
    4646#include <interrupt.h>
    4747#include <ddi/ddi.h>
    48 #include <ddi/device.h>
    4948#include <mm/km.h>
    5049
    … …  
    129128        static irq_t timer_irq;
    130129        irq_initialize(&timer_irq);
    131         timer_irq.devno = device_assign_devno();
    132130        timer_irq.inr = AM335x_DMTIMER2_IRQ;
    133131        timer_irq.claim = bbone_timer_irq_claim;

  • kernel/arch/arm32/src/mach/gta02/gta02.c

    re9d15d9 r24abb85d  
    4848#include <interrupt.h>
    4949#include <ddi/ddi.h>
    50 #include <ddi/device.h>
    5150#include <log.h>
    5251
    … …  
    241240{
    242241        irq_initialize(&gta02_timer_irq);
    243         gta02_timer_irq.devno = device_assign_devno();
    244242        gta02_timer_irq.inr = GTA02_TIMER_IRQ;
    245243        gta02_timer_irq.claim = gta02_timer_irq_claim;

  • kernel/arch/arm32/src/mach/integratorcp/integratorcp.c

    re9d15d9 r24abb85d  
    4343#include <console/console.h>
    4444#include <sysinfo/sysinfo.h>
    45 #include <ddi/device.h>
    4645#include <mm/page.h>
    4746#include <mm/frame.h>
    … …  
    207206{
    208207        irq_initialize(&icp.timer_irq);
    209         icp.timer_irq.devno = device_assign_devno();
    210208        icp.timer_irq.inr = ICP_TIMER_IRQ;
    211209        icp.timer_irq.claim = icp_timer_claim;

  • kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c

    re9d15d9 r24abb85d  
    5050#include <interrupt.h>
    5151#include <ddi/ddi.h>
    52 #include <ddi/device.h>
    5352
    5453#define RPI_DEFAULT_MEMORY_START        0
    … …  
    118117        static irq_t timer_irq;
    119118        irq_initialize(&timer_irq);
    120         timer_irq.devno = device_assign_devno();
    121119        timer_irq.inr = BCM2835_TIMER1_IRQ;
    122120        timer_irq.claim = raspberrypi_timer_irq_claim;
Note: See TracChangeset for help on using the changeset viewer.