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

/seL4-mcs-10.1.1/include/arch/arm/arch/object/
H A Dvcpu.h82 void vcpu_finalise(vcpu_t *vcpu);
/seL4-mcs-10.1.1/include/arch/x86/arch/object/
H A Dvcpu.h328 void vcpu_finalise(vcpu_t *vcpu);
/seL4-mcs-10.1.1/src/arch/arm/64/object/
H A Dobjecttype.c191 vcpu_finalise(VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap)));
/seL4-mcs-10.1.1/src/arch/arm/32/object/
H A Dobjecttype.c232 vcpu_finalise(VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap)));
/seL4-mcs-10.1.1/src/arch/x86/object/
H A Dobjecttype.c249 vcpu_finalise(VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap)));
H A Dvcpu.c497 vcpu_finalise(vcpu_t *vcpu) function
/seL4-mcs-10.1.1/src/arch/arm/object/
H A Dvcpu.c498 vcpu_finalise(vcpu_t *vcpu) function

Completed in 166 milliseconds