gonzui

tkernel_2

kernel/sysdepend/cpu/em1d/cpu_init.c - 6.3KB - 177 lines

58:         Asm("mcr p15, 0, %0, cr13, c0, 1":: "r"(0));   /* CONTEXTIDR */
59:         ISB();
60:         PurgeTLB();    /* invlidate TLB */

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: }

kernel/sysdepend/cpu/em1d/cpu_task.h - 3.7KB - 141 lines

83:         Asm("mcr p15, 0, %0, cr13, c0, 1":: "r"(0));   /* CONTEXTIDR */
84:         ISB();
85:         Asm("mcr p15, 0, %0, cr2,  c0, 0":: "r"(ttbr)); /* TTBR0 */

More results from cpu_task.h

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

40:         DSB();
41:         ISB();
42:         (*reset_p)();          /* call reset entry (does not return) */

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

258:         DSB();
259:         ISB();
260: