Home
last modified time | relevance | path

Searched refs:isb (Results 1 – 20 of 20) sorted by relevance

/seL4-master/include/arch/arm/arch/32/mode/
A Dmachine_pl2.h24 isb(); in writeContextIDPL2()
35 isb(); in writeContextIDAndPD()
53 isb(); in setCurrentPDPL2()
61 isb(); in setCurrentHypPD()
68 isb(); in setVTCR()
75 isb(); in setHCR()
89 isb(); in setHCPTR()
103 isb(); in setHMAIR()
110 isb(); in setMAIR()
118 isb(); in invalidateHypTLB()
[all …]
A Dmachine.h144 isb(); in writeContextID()
276 isb(); in setCurrentPD()
318 isb(); in invalidateLocalTLB()
329 isb(); in invalidateLocalTLB_ASID()
341 isb(); in invalidateLocalTLB_VAASID()
407 isb(); in invalidateByVA_I()
418 isb(); in invalidate_I_PoU()
/seL4-master/include/arch/arm/arch/64/mode/
A Dmachine.h170 isb(); in setCurrentKernelVSpaceRoot()
176 isb(); in setCurrentKernelVSpaceRoot()
187 isb(); in setCurrentUserVSpaceRoot()
214 isb(); in setVtable()
238 isb(); in invalidateLocalTLB()
248 isb(); in invalidateLocalTLB_ASID()
256 isb(); in invalidateLocalTLB_VAASID()
265 isb(); in invalidateLocalTLB_VMALLS12E1()
275 isb(); in invalidateLocalTLB_IPA()
302 isb(); in invalidateByVA_I()
[all …]
/seL4-master/include/arch/arm/armv/armv7-a/armv/
A Dcontext_switch.h42 isb(); in armv_contextSwitch_HWASID()
45 isb(); in armv_contextSwitch_HWASID()
A Dvcpu.h693 isb(); in armv_vcpu_save()
710 isb(); in vcpu_enable()
792 isb(); in vcpu_disable()
801 isb(); in vcpu_disable()
821 isb(); in vcpu_disable()
A Dmachine.h27 static inline void isb(void) in isb() function
A Ddebug.h111 isb(); in enableMonitorMode()
/seL4-master/include/arch/arm/armv/armv8-a/32/armv/
A Dcontext_switch.h42 isb(); in armv_contextSwitch_HWASID()
45 isb(); in armv_contextSwitch_HWASID()
A Dvcpu.h693 isb(); in armv_vcpu_save()
710 isb(); in vcpu_enable()
792 isb(); in vcpu_disable()
801 isb(); in vcpu_disable()
821 isb(); in vcpu_disable()
A Dmachine.h27 static inline void isb(void) in isb() function
A Ddebug.h111 isb(); in enableMonitorMode()
/seL4-master/include/arch/arm/armv/armv8-a/64/armv/
A Dvcpu.h563 isb(); in vcpu_init_vtcr()
574 isb(); in armv_vcpu_boot_init()
578 isb(); in armv_vcpu_boot_init()
589 isb(); in vcpu_enable()
591 isb(); in vcpu_enable()
613 isb(); in vcpu_disable()
617 isb(); in vcpu_disable()
621 isb(); in vcpu_disable()
623 isb(); in vcpu_disable()
A Dmachine.h24 static inline void isb(void) in isb() function
/seL4-master/src/arch/arm/32/machine/
A Dfpu.c69 isb(); in fpsimd_init()
95 isb(); in fpsimd_HWCapTest()
/seL4-master/src/arch/arm/machine/
A Dcache.c193 isb(); in arch_clean_invalidate_caches()
206 isb(); in arch_clean_invalidate_L1_caches()
A Dgic_v3.c132 isb(); in gicv3_enable_sre()
287 isb(); in cpu_iface_init()
373 isb(); in ipi_send_target()
A Ddebug.c782 isb(); in disableAllBpsAndWps()
/seL4-master/src/arch/arm/object/
A Dvcpu.c91 isb(); in vcpu_restore()
251 isb(); in vcpu_switch()
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c1465 isb(); in doFlush()
/seL4-master/src/arch/arm/32/kernel/
A Dvspace.c1794 isb();

Completed in 37 milliseconds