Home
last modified time | relevance | path

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

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

Completed in 4 milliseconds