Searched refs:vcpu_disable (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/kernel/src/arch/arm/object/
H A Dvcpu.c26 vcpu_disable(NULL);
239 vcpu_disable(ARCH_NODE_STATE(armHSCurVCPU));
252 vcpu_disable(NULL);
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h601 static inline void vcpu_disable(vcpu_t *vcpu) function
/seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/
H A Dvcpu.h771 * value when VM0 is disabed (vcpu_disable) or saved (vcpu_save).
784 static inline void vcpu_disable(vcpu_t *vcpu) function
/seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/
H A Dvcpu.h771 * value when VM0 is disabed (vcpu_disable) or saved (vcpu_save).
784 static inline void vcpu_disable(vcpu_t *vcpu) function
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/
H A Dvcpu.h771 * value when VM0 is disabed (vcpu_disable) or saved (vcpu_save).
784 static inline void vcpu_disable(vcpu_t *vcpu) function

Completed in 67 milliseconds