APIC_LOGICAL_DEST
return apic_read(APIC_LOGICAL_DEST);
uint32 value = apic_read(APIC_LOGICAL_DEST);
apic_write(APIC_LOGICAL_DEST, value | (logical_apic_id << 24));