Symbol: vlapic_set_x2apic_state
sys/amd64/vmm/io/vlapic.h
80
void vlapic_set_x2apic_state(struct vcpu *vcpu, enum x2apic_state s);
sys/amd64/vmm/vmm.c
1707
vlapic_set_x2apic_state(vcpu, state);