Searched refs:armHSVCPUActive (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/model/
H A Dstatedata.h36 extern bool_t armHSVCPUActive;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/model/
H A Dstatedata.c33 bool_t armHSVCPUActive; variable
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Dvcpu.c242 armHSVCPUActive = false;
322 if (armHSVCPUActive) {
341 if (armHSVCPUActive) {
431 assert(armHSCurVCPU != NULL && armHSVCPUActive);
432 if (armHSCurVCPU != NULL && armHSVCPUActive) {
467 vcpu_save(armHSCurVCPU, armHSVCPUActive);
471 armHSVCPUActive = true;
472 } else if (unlikely(armHSVCPUActive)) {
478 armHSVCPUActive = false;
480 } else if (likely(!armHSVCPUActive
[all...]
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/model/
H A Dstatedata.h44 extern bool_t armHSVCPUActive;
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/model/
H A Dstatedata.c61 bool_t armHSVCPUActive; variable
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/machine/
H A Dfpu.h172 if (!armHSVCPUActive) {
/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h617 if (armHSVCPUActive) {
636 if (armHSVCPUActive) {
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c983 if (armHSVCPUActive) {
998 if (armHSVCPUActive) {

Completed in 107 milliseconds