Searched refs:sb_set_mailbox (Results 1 – 3 of 3) sorted by relevance
48 void sb_set_mailbox(int cpuid, uint64_t val);
303 sb_set_mailbox(cpuid, 1ULL); in platform_ipi_send()
229 sb_set_mailbox(int cpu, uint64_t val) in sb_set_mailbox() function