Searched refs:vmce_init_vcpu (Results 1 – 3 of 3) sorted by relevance
36 extern void vmce_init_vcpu(struct vcpu *);
54 void vmce_init_vcpu(struct vcpu *v) in vmce_init_vcpu() function
338 vmce_init_vcpu(v); in vcpu_initialise()
Completed in 10 milliseconds