Searched refs:GET_APIC_DEST_FIELD (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dapicdef.h105 #define GET_APIC_DEST_FIELD(x) (((x) >> 24) & 0xFF) macro
H A Dlapic.c650 irq.dest_id = GET_APIC_DEST_FIELD(icr_high);

Completed in 92 milliseconds