Searched refs:apic_write_icr (Results 1 – 3 of 3) sorted by relevance
4 pub fn apic_write_icr(value: u64); in apic_write_icr() function108 apic_write_icr(((icr.upper() as u64) << 32) | icr.lower() as u64); in send_ipi()124 apic_write_icr(((icr.upper() as u64) << 32) | icr.lower() as u64); in send_ipi()
333 void apic_write_icr(uint64_t value);
706 void apic_write_icr(uint64_t value) in apic_write_icr() function