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

/seL4-mcs-10.1.1/src/arch/arm/object/
H A Dvcpu.c105 vcpu_enable(vcpu_t *vcpu) function
124 * function (vcpu_enable). It's better to embed the
167 * VM0 (the FPU owner) -> VM1 (update the FPEXC in vcpu_enable) ->
303 * handleFPUFault is called. See the comments in vcpu_enable
379 vcpu_enable(vcpu);
482 vcpu_enable(new);

Completed in 72 milliseconds