portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

SELFOUR-402: remove isReservedIRQ

Browse source 
While provided by each hardware platform this function is never called.
This commit is contained in:
Anna Lyons 2016-06-07 09:01:41 +10:00
parent 218ec28156
commit 0ec5e93771
24 changed files with 0 additions and 121 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
include/plat/allwinnerA20/plat/machine/hardware.h
View file

@ -63,7 +63,6 @@ int get_num_dev_p_regs(void);
p_region_t get_dev_p_reg(word_t i);
void map_kernel_devices(void);
bool_t CONST isReservedIRQ(irq_t irq);
void handleReservedIRQ(irq_t irq);
/** MODIFIES: [*] */

1
include/plat/am335x/plat/machine/hardware.h
View file

@ -63,7 +63,6 @@ int get_num_dev_p_regs(void);
p_region_t get_dev_p_reg(word_t i);
void map_kernel_devices(void);
bool_t CONST isReservedIRQ(irq_t irq);
void handleReservedIRQ(irq_t irq);
void ackInterrupt(irq_t irq);
bool_t isIRQPending(void);

1
include/plat/apq8064/plat/machine/hardware.h
View file

@ -66,7 +66,6 @@ int get_num_dev_p_regs(void);
p_region_t get_dev_p_reg(word_t i);
void map_kernel_devices(void);
bool_t CONST isReservedIRQ(irq_t irq);
void handleReservedIRQ(irq_t irq);
/** MODIFIES: [*] */

1
include/plat/exynos4/plat/machine/hardware.h
View file

@ -75,7 +75,6 @@ int get_num_dev_p_regs(void);
p_region_t get_dev_p_reg(word_t i);
void map_kernel_devices(void);
bool_t CONST isReservedIRQ(irq_t irq);
void handleReservedIRQ(irq_t irq);
/** MODIFIES: [*] */

1
include/plat/exynos5/plat/machine/hardware.h
View file

@ -74,7 +74,6 @@ int get_num_dev_p_regs(void);
p_region_t get_dev_p_reg(word_t i);
void map_kernel_devices(void);
bool_t CONST isReservedIRQ(irq_t irq);
void handleReservedIRQ(irq_t irq);
/** MODIFIES: [*] */

1
include/plat/hikey/plat/machine/hardware.h
View file

@ -63,7 +63,6 @@ int get_num_dev_p_regs(void);
p_region_t get_dev_p_reg(unsigned int i);
void map_kernel_devices(void);
bool_t CONST isReservedIRQ(irq_t irq);
void handleReservedIRQ(irq_t irq);
/** MODIFIES: [*] */

1
include/plat/imx31/plat/machine/hardware.h
View file

@ -64,7 +64,6 @@ int get_num_dev_p_regs(void);
p_region_t get_dev_p_reg(word_t i);
void map_kernel_devices(void);
bool_t CONST isReservedIRQ(irq_t irq);
void handleReservedIRQ(irq_t irq);
void ackInterrupt(irq_t irq);
bool_t isIRQPending(void);

1
include/plat/imx6/plat/machine/hardware.h
View file

@ -76,7 +76,6 @@ int get_num_dev_p_regs(void);
p_region_t get_dev_p_reg(word_t i);
void map_kernel_devices(void);
bool_t CONST isReservedIRQ(irq_t irq);
void handleReservedIRQ(irq_t irq);

1
include/plat/imx7/plat/machine/hardware.h
View file

@ -74,7 +74,6 @@ int get_num_dev_p_regs(void);
p_region_t get_dev_p_reg(word_t i);
void map_kernel_devices(void);
bool_t CONST isReservedIRQ(irq_t irq);
void handleReservedIRQ(irq_t irq);
static inline void

1
include/plat/omap3/plat/machine/hardware.h
View file

@ -63,7 +63,6 @@ int get_num_dev_p_regs(void);
p_region_t get_dev_p_reg(word_t i);
void map_kernel_devices(void);
bool_t CONST isReservedIRQ(irq_t irq);
void handleReservedIRQ(irq_t irq);
void ackInterrupt(irq_t irq);
bool_t isIRQPending(void);

1
include/plat/tk1/plat/machine/hardware.h
View file

@ -63,7 +63,6 @@ int get_num_dev_p_regs(void);
p_region_t get_dev_p_reg(word_t i);
void map_kernel_devices(void);
bool_t CONST isReservedIRQ(irq_t irq);
void handleReservedIRQ(irq_t irq);
/** MODIFIES: [*] */

1
include/plat/zynq7000/plat/machine/hardware.h
View file

@ -76,7 +76,6 @@ int get_num_dev_p_regs(void);
p_region_t get_dev_p_reg(word_t i);
void map_kernel_devices(void);
bool_t CONST isReservedIRQ(irq_t irq);
void handleReservedIRQ(irq_t irq);

11
src/plat/allwinnerA20/machine/hardware.c
View file

@ -57,17 +57,6 @@ BOOT_CODE p_region_t get_dev_p_reg(word_t i)
return dev_p_regs[i];
}
/* Determine if the given IRQ should be reserved by the kernel. */
bool_t CONST
isReservedIRQ(irq_t irq)
{
return irq == KERNEL_TIMER_IRQ ||
irq == RESERVED_IRQ01 ||
irq == RESERVED_IRQ02 ||
irq == RESERVED_IRQ03;
}
/* Handle a platform-reserved IRQ. */
void
handleReservedIRQ(irq_t irq)

7
src/plat/am335x/machine/hardware.c
View file

@ -219,13 +219,6 @@ maskInterrupt(bool_t disable, interrupt_t irq)
}
}
/* Determine if the given IRQ should be reserved by the kernel. */
bool_t
isReservedIRQ(interrupt_t irq)
{
return irq == KERNEL_TIMER_IRQ;
}
/* Handle a platform-reserved IRQ. */
void handleReservedIRQ(irq_t irq)
{

7
src/plat/apq8064/machine/hardware.c
View file

@ -296,13 +296,6 @@ get_dev_p_reg(word_t i)
}
/* Determine if the given IRQ should be reserved by the kernel. */
bool_t CONST
isReservedIRQ(irq_t irq)
{
return irq == KERNEL_TIMER_IRQ;
}
/* Handle a platform-reserved IRQ. */
void
handleReservedIRQ(irq_t irq)

7
src/plat/exynos4/machine/hardware.c
View file

@ -211,13 +211,6 @@ get_dev_p_reg(word_t i)
}
/* Determine if the given IRQ should be reserved by the kernel. */
bool_t CONST
isReservedIRQ(irq_t irq)
{
return irq == KERNEL_TIMER_IRQ;
}
/* Handle a platform-reserved IRQ. */
void
handleReservedIRQ(irq_t irq)

8
src/plat/exynos5/machine/hardware.c
View file

@ -270,14 +270,6 @@ get_dev_p_reg(word_t i)
return dev_p_regs[i];
}
/* Determine if the given IRQ should be reserved by the kernel. */
bool_t CONST
isReservedIRQ(irq_t irq)
{
return irq == INTERRUPT_WDT;
}
/* Handle a platform-reserved IRQ. */
void
handleReservedIRQ(irq_t irq)

8
src/plat/hikey/machine/hardware.c
View file

@ -56,14 +56,6 @@ BOOT_CODE p_region_t get_dev_p_reg(unsigned int i)
return dev_p_regs[i];
}
/* Determine if the given IRQ should be reserved by the kernel. */
bool_t CONST
isReservedIRQ(irq_t irq)
{
return irq == KERNEL_TIMER_IRQ;
}
/* Handle a platform-reserved IRQ. */
void
handleReservedIRQ(irq_t irq)

7
src/plat/imx31/machine/hardware.c
View file

@ -175,13 +175,6 @@ maskInterrupt(bool_t disable, interrupt_t irq)
}
}
/* Determine if the given IRQ should be reserved by the kernel. */
bool_t CONST
isReservedIRQ(irq_t irq)
{
return false;
}
/* Handle a platform-reserved IRQ. */
void
handleReservedIRQ(irq_t irq)

8
src/plat/imx6/machine/hardware.c
View file

@ -194,14 +194,6 @@ get_dev_p_reg(word_t i)
return dev_p_regs[i];
}
/* Determine if the given IRQ should be reserved by the kernel. */
bool_t CONST
isReservedIRQ(irq_t irq)
{
return irq == KERNEL_TIMER_IRQ;
}
/* Handle a platform-reserved IRQ. */
void
handleReservedIRQ(irq_t irq)

8
src/plat/imx7/machine/hardware.c
View file

@ -103,14 +103,6 @@ get_dev_p_reg(word_t i)
return dev_p_regs[i];
}
/* Determine if the given IRQ should be reserved by the kernel. */
bool_t CONST
isReservedIRQ(irq_t irq)
{
return irq == KERNEL_TIMER_IRQ;
}
/* Handle a platform-reserved IRQ. */
void
handleReservedIRQ(irq_t irq)

24
src/plat/omap3/machine/hardware.c
View file

@ -291,30 +291,6 @@ maskInterrupt(bool_t disable, interrupt_t irq)
}
}
/* Determine if the given IRQ should be reserved by the kernel. */
bool_t
isReservedIRQ(interrupt_t irq)
{
return irq == RESERVED_IRQ01 ||
irq == RESERVED_IRQ02 ||
irq == RESERVED_IRQ03 ||
irq == RESERVED_IRQ04 ||
irq == RESERVED_IRQ05 ||
irq == RESERVED_IRQ06 ||
irq == RESERVED_IRQ07 ||
irq == RESERVED_IRQ08 ||
irq == RESERVED_IRQ09 ||
irq == RESERVED_IRQ10 ||
irq == RESERVED_IRQ11 ||
irq == RESERVED_IRQ12 ||
irq == RESERVED_IRQ13 ||
irq == RESERVED_IRQ14 ||
irq == RESERVED_IRQ15 ||
irq == RESERVED_IRQ16 ||
irq == RESERVED_IRQ17 ||
irq == RESERVED_IRQ18;
}
/* Handle a platform-reserved IRQ. */
void handleReservedIRQ(irq_t irq)
{

7
src/plat/tk1/machine/hardware.c
View file

@ -116,13 +116,6 @@ BOOT_CODE p_region_t get_dev_p_reg(word_t i)
}
/* Determine if the given IRQ should be reserved by the kernel. */
bool_t CONST
isReservedIRQ(irq_t irq)
{
return irq == KERNEL_TIMER_IRQ;
}
/* Handle a platform-reserved IRQ. */
void
handleReservedIRQ(irq_t irq)

7
src/plat/zynq7000/machine/hardware.c
View file

@ -114,13 +114,6 @@ get_dev_p_reg(word_t i)
}
/* Determine if the given IRQ should be reserved by the kernel. */
bool_t CONST
isReservedIRQ(irq_t irq)
{
return irq == KERNEL_TIMER_IRQ;
}
/* Handle a platform-reserved IRQ. */
void
handleReservedIRQ(irq_t irq)