portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/plat
History
Adrian Danis 2bf586fe3d x86: Correct return type of servicePendingIRQ 
This function returns an interrupt_t, and its call sites expect an interrupt_t,
despite the types being written as irq_t.

Closes #66
2017-08-29 10:56:43 +10:00
..
allwinnerA20/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
am335x/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
apq8064/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
bcm2837/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
exynos4/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
exynos5/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
hikey/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
imx6/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
imx7/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
imx31/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
omap3/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
pc99/plat x86: Correct return type of servicePendingIRQ 2017-08-29 10:56:43 +10:00
tk1/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
tx1/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
zynq7000/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00