Searched defs:armHSVCPUActive (Results 1 - 2 of 2) sorted by relevance
| /seL4-mcs-10.1.1/src/arch/arm/64/model/ | ||
| H A D | statedata.c | 33 bool_t armHSVCPUActive; variable |
| /seL4-mcs-10.1.1/src/arch/arm/32/model/ | ||
| H A D | statedata.c | 61 bool_t armHSVCPUActive; variable |
Completed in 76 milliseconds