-
- Downloads
Change additional int->word_t due to interraction with the C parser to ease verification
Showing
- include/arch/arm/arch/fastpath/fastpath.h 1 addition, 1 deletioninclude/arch/arm/arch/fastpath/fastpath.h
- include/plat/allwinnerA20/plat/machine/hardware.h 2 additions, 2 deletionsinclude/plat/allwinnerA20/plat/machine/hardware.h
- include/plat/am335x/plat/machine/hardware.h 2 additions, 2 deletionsinclude/plat/am335x/plat/machine/hardware.h
- include/plat/apq8064/plat/machine/hardware.h 2 additions, 2 deletionsinclude/plat/apq8064/plat/machine/hardware.h
- include/plat/exynos4/plat/machine/hardware.h 2 additions, 2 deletionsinclude/plat/exynos4/plat/machine/hardware.h
- include/plat/exynos5/plat/machine/hardware.h 2 additions, 2 deletionsinclude/plat/exynos5/plat/machine/hardware.h
- include/plat/imx31/plat/machine/hardware.h 2 additions, 2 deletionsinclude/plat/imx31/plat/machine/hardware.h
- include/plat/imx6/plat/machine/hardware.h 2 additions, 2 deletionsinclude/plat/imx6/plat/machine/hardware.h
- include/plat/omap3/plat/machine/hardware.h 2 additions, 2 deletionsinclude/plat/omap3/plat/machine/hardware.h
- include/plat/zynq7000/plat/machine/hardware.h 2 additions, 2 deletionsinclude/plat/zynq7000/plat/machine/hardware.h
- include/stdint.h 1 addition, 1 deletioninclude/stdint.h
- src/api/syscall.c 1 addition, 1 deletionsrc/api/syscall.c
- src/arch/arm/api/faults.c 2 additions, 2 deletionssrc/arch/arm/api/faults.c
- src/arch/arm/kernel/boot.c 1 addition, 1 deletionsrc/arch/arm/kernel/boot.c
- src/arch/arm/kernel/vspace.c 11 additions, 11 deletionssrc/arch/arm/kernel/vspace.c
- src/arch/arm/machine/capdl.c 5 additions, 5 deletionssrc/arch/arm/machine/capdl.c
- src/arch/arm/machine/debug.c 5 additions, 5 deletionssrc/arch/arm/machine/debug.c
- src/arch/arm/machine/gic_pl390.c 1 addition, 1 deletionsrc/arch/arm/machine/gic_pl390.c
- src/arch/arm/object/tcb.c 3 additions, 3 deletionssrc/arch/arm/object/tcb.c
- src/arch/x86/api/faults.c 3 additions, 3 deletionssrc/arch/x86/api/faults.c
Loading
Please register or sign in to comment