Searched defs:IPI_MEM_BARRIER (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Dhardware.h28 #define IPI_MEM_BARRIER \ macro
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dx2apic.h81 #define IPI_MEM_BARRIER IPI_ICR_BARRIER macro
H A Dxapic.h82 #define IPI_MEM_BARRIER IPI_ICR_BARRIER macro

Completed in 35 milliseconds