i2c_port_portno
i2c_port_portno(arg->ipl_port));
extern uint32_t i2c_port_portno(i2c_port_t *);
if (i2c_port_portno(port) != portno) {
"expected 0x%x", path, i2c_port_portno(port),