Searched refs:armHSCurVCPU (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/model/
H A Dstatedata.h35 extern vcpu_t *armHSCurVCPU;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/model/
H A Dstatedata.c32 vcpu_t *armHSCurVCPU; variable
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Dvcpu.c241 armHSCurVCPU = NULL;
317 if (likely(armHSCurVCPU == vcpu)) {
338 if (likely(armHSCurVCPU == vcpu)) {
431 assert(armHSCurVCPU != NULL && armHSVCPUActive);
432 if (armHSCurVCPU != NULL && armHSVCPUActive) {
433 armHSCurVCPU->vgic.lr[irq_idx] = virq;
464 if (likely(armHSCurVCPU != new)) {
466 if (unlikely(armHSCurVCPU != NULL)) {
467 vcpu_save(armHSCurVCPU, armHSVCPUActive);
470 armHSCurVCPU
[all...]
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/model/
H A Dstatedata.h43 extern vcpu_t *armHSCurVCPU;
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/model/
H A Dstatedata.c59 vcpu_t *armHSCurVCPU; variable
/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h612 if (likely(armHSCurVCPU == vcpu)) {
633 if (likely(armHSCurVCPU == vcpu)) {

Completed in 169 milliseconds