Searched refs:TLBIASID (Results 1 - 3 of 3) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/32/mode/
H A Dassembler.h23 #define TLBIASID(reg) p15, 0, reg, c8, c7, 2 macro
/seL4-refos-master/tools/elfloader/include/arch-arm/32/mode/
H A Dassembler.h23 #define TLBIASID(reg) p15, 0, reg, c8, c7, 2 macro
/seL4-refos-master/kernel/src/arch/arm/32/
H A Dhyp_traps.S45 #define TLBIASID(reg) p15, 0, reg, c8, c7, 2 define

Completed in 25 milliseconds