plat_dmv_params
void (*plat_dmv_params)(uint_t *, uint_t *);
plat_dmv_params = (void (*)(uint_t *, uint_t *))
if (plat_dmv_params)
(*plat_dmv_params)(&plat_hwint, &plat_swint);