GET_APIC_DEST_FIELD 1212 arch/x86/kvm/lapic.c 		irq.dest_id = GET_APIC_DEST_FIELD(icr_high);
GET_APIC_DEST_FIELD 4561 arch/x86/kvm/svm.c 						     GET_APIC_DEST_FIELD(icrh),