xc_send_ipi|xc_send_ipi
xc_broadcast|xc_broadcast
xc_init_cpu|xc_init_cpu
xc_ipi_handler|xc_ipi_handler
xc_unicast|xc_unicast
xc_wait|xc_wait