vlapic_set_x2apic_state
void vlapic_set_x2apic_state(struct vm *vm, int vcpuid, enum x2apic_state s);
vlapic_set_x2apic_state(vm, vcpuid, state);