avic_kick_vcpu_by_physical_id
avic_kick_vcpu_by_physical_id(kvm, physical_id, icrl);
avic_kick_vcpu_by_physical_id(kvm, dest, icrl);