Searched defs:CACHESENSFN (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/
H A Dprivate.h22 #define CACHESENSFN __attribute__((noinline, aligned(64))) macro
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/
H A Dprivate.h23 #define CACHESENSFN __attribute__((noinline, aligned(64))) macro
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/
H A Dprivate.h22 #define CACHESENSFN __attribute__((noinline, aligned(32))) macro
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dprivate.h23 #define CACHESENSFN __attribute__((noinline, aligned(64))) macro

Completed in 27 milliseconds