kvm_apic_set_xapic_id
kvm_apic_set_xapic_id(apic, val >> 24);
kvm_apic_set_xapic_id(apic, vcpu->vcpu_id);