portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/plat
History
Jonas Claeson d8c31a8583 Removed unnecessary comparison in updateIRQState 
./kernel/include/plat/pc99/plat/machine/interrupt.h:115:14:
error: comparison of unsigned expression >= 0
      is always true [-Werror,-Wtautological-compare]
    if(!(irq >= 0 && irq <= maxIRQ)) _assert_fail(...
         ~~~ ^  ~
2017-06-13 16:50:43 +02:00
..
allwinnerA20/plat SELFOUR-222: Configure IRQ cnode size per platform 2016-11-08 11:48:31 +11:00
am335x/plat Move standalone autoconf.h files out of include directories 2017-04-10 11:16:57 +10:00
apq8064/plat Move standalone autoconf.h files out of include directories 2017-04-10 11:16:57 +10:00
bcm2837/plat s/D61/DATA61/ in license headers for consistency 2017-02-21 16:38:51 +11:00
exynos4/plat Move standalone autoconf.h files out of include directories 2017-04-10 11:16:57 +10:00
exynos5/plat Use CONFIG_ variables instead of configuration definitions 2017-05-29 17:04:47 +10:00
hikey/plat Move standalone autoconf.h files out of include directories 2017-04-10 11:16:57 +10:00
imx6/plat Check for configuration variables being 'defined' instead of 'true' 2017-05-03 10:35:44 +10:00
imx7/plat arm/imx7: add/correct dev mem/int; generic timer 2017-06-09 10:48:57 +10:00
imx31/plat Move standalone autoconf.h files out of include directories 2017-04-10 11:16:57 +10:00
omap3/plat Move standalone autoconf.h files out of include directories 2017-04-10 11:16:57 +10:00
pc99/plat Removed unnecessary comparison in updateIRQState 2017-06-13 16:50:43 +02:00
tk1/plat Move standalone autoconf.h files out of include directories 2017-04-10 11:16:57 +10:00
tx1/plat s/D61/DATA61/ in license headers for consistency 2017-02-21 16:38:51 +11:00
zynq7000/plat Move standalone autoconf.h files out of include directories 2017-04-10 11:16:57 +10:00