vlapic_set_x2apic_state
void vlapic_set_x2apic_state(struct vcpu *vcpu, enum x2apic_state s);
vlapic_set_x2apic_state(vcpu, state);