Home
last modified time | relevance | path

Searched refs:cpu_send_ipiq (Results 1 – 5 of 5) sorted by relevance

/dragonfly/sys/platform/vkernel64/include/
H A Dsmp.h30 void cpu_send_ipiq (int);
/dragonfly/sys/platform/pc64/include/
H A Dsmp.h69 void cpu_send_ipiq (int);
/dragonfly/sys/platform/vkernel64/x86_64/
H A Dmp.c200 cpu_send_ipiq(int dcpu) in cpu_send_ipiq() function
/dragonfly/sys/kern/
H A Dlwkt_ipiq.c267 cpu_send_ipiq(target->gd_cpuid); in lwkt_send_ipiq3()
315 cpu_send_ipiq(target->gd_cpuid); in lwkt_send_ipiq3()
/dragonfly/sys/platform/pc64/x86_64/
H A Dmp_machdep.c1639 cpu_send_ipiq(int dcpu) in cpu_send_ipiq() function