Searched refs:mda (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dx2apic.c128 void apic_send_ipi_cluster(irq_t vector, word_t mda) argument
132 mda /* message destination address */
H A Dxapic.c144 void apic_send_ipi_cluster(irq_t vector, word_t mda) argument
154 mda /* message destination address */
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dapic.h31 void apic_send_ipi_cluster(irq_t vector, word_t mda);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dlapic.c430 int vm_apic_match_logical_addr(vm_lapic_t *apic, uint8_t mda) argument
439 if (logical_id & mda) {
444 if (((logical_id >> 4) == (mda >> 0x4))
445 && (logical_id & mda & 0xf)) {

Completed in 44 milliseconds