/* vx_set_pcx_time - convert from the PC time to the RMH status time. @pc_time: the pointer for the PC-time to set @dsp_time: the pointer for RMH status time array  */
static void vx_set_pcx_time(struct vx_core *chip, pcx_time_t *pc_time, unsigned int *dsp_time)
/* vx_set_pcx_time - convert from the PC time to the RMH status time. @pc_time: the pointer for the PC-time to set @dsp_time: the pointer for RMH status time array  */
static void vx_set_pcx_time(struct vx_core *chip, pcx_time_t *pc_time, unsigned int *dsp_time)
{
	dsp_time[0] = (unsigned int)((*pc_time) >> 24) & PCX_TIME_HI_MASK;
	dsp_time[1] = (unsigned int)(*pc_time) &  MASK_DSP_WORD;
}