Home
last modified time | relevance | path

Searched refs:IPI_MEM_BARRIER (Results 1 – 5 of 5) sorted by relevance

/seL4-master/include/arch/arm/arch/machine/
A Dhardware.h23 #define IPI_MEM_BARRIER \ macro
/seL4-master/include/arch/x86/arch/kernel/
A Dx2apic.h69 #define IPI_MEM_BARRIER IPI_ICR_BARRIER macro
A Dxapic.h70 #define IPI_MEM_BARRIER IPI_ICR_BARRIER macro
/seL4-master/include/arch/riscv/arch/machine/
A Dhardware.h126 #define IPI_MEM_BARRIER \ macro
/seL4-master/src/smp/
A Dipi.c132 IPI_MEM_BARRIER; in generic_ipi_send_mask()

Completed in 6 milliseconds