coremctl_mch_readreg
DEVMETHOD(coremctl_mch_read, coremctl_mch_readreg),
static int coremctl_mch_readreg(device_t, int, uint32_t *);