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

/seL4-test-master/kernel/src/arch/arm/object/
H A Dvcpu.c120 vcpu_enable(vcpu);
244 vcpu_enable(new);
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h586 static inline void vcpu_enable(vcpu_t *vcpu) function
/seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/
H A Dvcpu.h696 * handleFPUFault is called. See the comments in vcpu_enable
706 static inline void vcpu_enable(vcpu_t *vcpu) function
722 * function (vcpu_enable). It's better to embed the
765 * VM0 (the FPU owner) -> VM1 (update the FPEXC in vcpu_enable) ->
/seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/
H A Dvcpu.h696 * handleFPUFault is called. See the comments in vcpu_enable
706 static inline void vcpu_enable(vcpu_t *vcpu) function
722 * function (vcpu_enable). It's better to embed the
765 * VM0 (the FPU owner) -> VM1 (update the FPEXC in vcpu_enable) ->
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/
H A Dvcpu.h696 * handleFPUFault is called. See the comments in vcpu_enable
706 static inline void vcpu_enable(vcpu_t *vcpu) function
722 * function (vcpu_enable). It's better to embed the
765 * VM0 (the FPU owner) -> VM1 (update the FPEXC in vcpu_enable) ->

Completed in 45 milliseconds