IO_APIC_DESTINATION_FIELD_SHIFT
<< IO_APIC_DESTINATION_FIELD_SHIFT);
entry |= uint64(apicid) << IO_APIC_DESTINATION_FIELD_SHIFT;
uint64 entry = ((uint64)targetAPIC << IO_APIC_DESTINATION_FIELD_SHIFT)