Searched defs:apic_write_icr (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/seL4/include/arch/x86/arch/kernel/
H A Dxapic.h63 static inline void apic_write_icr(word_t high, word_t low) function
H A Dx2apic.h62 static inline void apic_write_icr(word_t high, word_t low) function

Completed in 30 milliseconds