GCPU_XPV_ARCH_NREGS
gcpu_xpv_bankregs_sz = nbanks * GCPU_XPV_ARCH_NREGS *
size_t sz = nbanks * GCPU_XPV_ARCH_NREGS * sizeof (cmi_mca_regs_t);