chvgpio_opreg_handler
int chvgpio_opreg_handler(void *, int, uint64_t, int, uint64_t *);
sc, chvgpio_opreg_handler);