gonzui

tkernel_2

kernel/sysdepend/cpu/em1d/cache.c - 3.1KB - 109 lines

63:         }
64:         DSB();
65: }

More results from cache.c

kernel/sysdepend/cpu/em1d/cpu_insn.h - 2.9KB - 117 lines

45:         Asm("mcr p15, 0, %0, cr8, c7, 0":: "r"(0));
46:         DSB(); ISB();
47: }

monitor/driver/flash/src/reset-em1d.c - 1.2KB - 43 lines

36:         *PAGETBL_BASE = 0x9402;        // Strongly-order, Kernel/RO
37:         DSB();
38:         Asm("mcr p15, 0, %0, cr8, cr7, 0":: "r"(0));   // I/D TLB invalidate

More results from reset-em1d.c

monitor/hwdepend/tef_em1d/src/system.c - 9.8KB - 307 lines

254: 
255:         DSB();
256:         Asm("mcr p15, 0, %0, cr8, c7, 0":: "r"(0));    // I/D TLB invalidate

More results from system.c