__avic_get_max_physical_id
return __avic_get_max_physical_id(vcpu->kvm, vcpu);
return get_order((__avic_get_max_physical_id(kvm, NULL) + 1) * sizeof(u64));