pci/npe DDI_CTLOPS_REGSIZE should be 64-bit aware
DDI_CTLOPS_REGSIZE is an argument to
ddi_ctlops. It takes an
off_t; however, the
pci drivers always truncate the value to 32-bit quantities. As we're cleaning up 8702, we should go through and take care of these here as well. One wrinkle is that these values are generally a
uint64_t; however, we use an
off_t, which is a signed quantity. If we have something in that upper bit, we're unlikely to be able to represent it anyways and do anything useful with it and that we'd need a new DDI interface.