Searched refs:vlapic_reset (Results 1 – 3 of 3) sorted by relevance
37 void vlapic_reset(struct vlapic *vlapic);
1410 vlapic_reset(struct vlapic *vlapic) in vlapic_reset() function1497 vlapic_reset(vlapic); in vlapic_init()
3126 vlapic_reset(vm_lapic(vm, vcpuid)); in vcpu_arch_reset()