SAVED_CONFIG_REGS_MASK
SAVED_CONFIG_REGS_MASK, (uchar_t *)maskbuf,
SAVED_CONFIG_REGS_MASK, ddi_driver_name(dip),
SAVED_CONFIG_REGS_MASK);
DDI_PROP_DONTPASS | DDI_PROP_NOTPROM, SAVED_CONFIG_REGS_MASK,
SAVED_CONFIG_REGS_MASK) != DDI_PROP_SUCCESS) {
SAVED_CONFIG_REGS_MASK);
if (ndi_prop_remove(DDI_DEV_T_NONE, dip, SAVED_CONFIG_REGS_MASK) !=
SAVED_CONFIG_REGS_MASK);