arm_spe_send_buffer
arm_spe_send_buffer(buf, 0);
arm_spe_send_buffer(buf, 0);
TASK_INIT(&info->task[i], 0, (task_fn_t *)arm_spe_send_buffer, buf);
void arm_spe_send_buffer(void *, int);
void arm_spe_send_buffer(void *arg, int pending __unused);