History log of /seL4-l4v-10.1.1/seL4/src/arch/arm/smp/ipi.c
Revision Date Author Comments
# b34088c3 20-Mar-2018 Yanyan Shen <yanyan.shen@data61.csiro.au>

arm: Call local TLB functions in IPI handlers.


# 1d4cdde1 19-Jul-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

ARM/SMP: Guard FPU operations


# ee28936d 18-Jun-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

SMP: Introduce ENABLE_SMP_SUPPORT

- Make it more readable and less confusing compared to the 'CONFIG_MAX_NUM_NODES > 1' check


# 586bb8ef 28-Jun-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

SELFOUR-806: ARM/SMP/FPU - Support remote FPU switch


# 13e32a29 28-Jun-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

trivial: fixes to popcountl implementation


# 4baa8482 28-Jun-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

SELFOUR-746: IPI Handler for ARM


# cac1348f 16-Mar-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

SMP/ARM: include generic smp/ipi.h and move ipi.c to smp/