Symbol: vlapic_reset
usr/src/uts/intel/io/vmm/io/vlapic.c
1500
vlapic_reset(vlapic);
usr/src/uts/intel/io/vmm/io/vlapic.h
49
void vlapic_reset(struct vlapic *vlapic);
usr/src/uts/intel/io/vmm/vmm.c
3167
vlapic_reset(vm_lapic(vm, vcpuid));