Many of the devctl() commands use the i2c_addr_t structure, which is defined as:
typedef struct { uint32_t addr; /* I2C address */ uint32_t fmt; /* I2C_ADDRFMT_7BIT or I2C_ADDRFMT_10BIT */ } i2c_addr_t;