Home
last modified time | relevance | path

Searched defs:vcpu_enable (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/arch/arm/armv/armv7-a/armv/
A Dvcpu.h706 static inline void vcpu_enable(vcpu_t *vcpu) in vcpu_enable() function
/seL4-master/include/arch/arm/armv/armv8-a/32/armv/
A Dvcpu.h706 static inline void vcpu_enable(vcpu_t *vcpu) in vcpu_enable() function
/seL4-master/include/arch/arm/armv/armv8-a/64/armv/
A Dvcpu.h586 static inline void vcpu_enable(vcpu_t *vcpu) in vcpu_enable() function

Completed in 21 milliseconds