for (port = MAX(baseport, BIGSUR_IOMAP_LO_THRESH) ;
for (port = max_t(u32, baseport, BIGSUR_IOMAP_LO_THRESH);
void bigsur_port_unmap(u32 baseport, u32 nports){	u32 port, endport = baseport + nports;		pr_debug("bigsur_port_unmap(base=0x%0x, n=0x%0x)\n", baseport, nports);	for (port = baseport ;	     port < endport && port < BIGSUR_IOMAP_LO_THRESH ;	     port += (1<<BIGSUR_IOMAP_LO_SHIFT)) {		bigsur_iomap_lo[port>>BIGSUR_IOMAP_LO_SHIFT] = 0;	}	for (port = MAX(baseport, BIGSUR_IOMAP_LO_THRESH) ;	     port < endport && port < BIGSUR_IOMAP_HI_THRESH ;	     port += (1<<BIGSUR_IOMAP_HI_SHIFT)) {		bigsur_iomap_hi[port>>BIGSUR_IOMAP_HI_SHIFT] = 0;	}}