xc_send_ipi|xc_send_ipi
xc3028_close|xc3028_close
xc3028_open|xc3028_open
xc3028_tune_dtv|xc3028_tune_dtv
xc5k_close|xc5k_close
xc5k_get_status|xc5k_get_status
xc5k_open|xc5k_open
xc5k_tune_dtv|xc5k_tune_dtv
xc5k_tune_video|xc5k_tune_video
xc_broadcast|xc_broadcast
xc_init_cpu|xc_init_cpu
xc_ipi_handler|xc_ipi_handler
xc_unicast|xc_unicast
xc_wait|xc_wait