Searched refs:scl (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/libs/libplatsupport/src/arch/arm/
H A Di2c_bitbang.c73 pin_l(d, d->scl);
77 while (!pin_r(d, d->scl));
333 i2c_bb_init(gpio_sys_t* gpio_sys, gpio_id_t scl, gpio_id_t sda, argument
337 i2c_bb->scl = scl;
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Di2c_bitbang.c73 pin_l(d, d->scl);
77 while (!pin_r(d, d->scl));
333 i2c_bb_init(gpio_sys_t* gpio_sys, gpio_id_t scl, gpio_id_t sda, argument
337 i2c_bb->scl = scl;
/seL4-refos-master/libs/libplatsupport/src/plat/zynq7000/
H A Dsrc.c25 uint32_t scl; /* 0x000 32 R/W 00000000h */ member in struct:slcr_lock_regs
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/zynq7000/
H A Dsrc.c25 uint32_t scl; /* 0x000 32 R/W 00000000h */ member in struct:slcr_lock_regs
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/
H A Di2c.h226 gpio_id_t scl; member in struct:i2c_bb
245 * @param[in] scl The GPIO ID of the SCL pin
252 int i2c_bb_init(gpio_sys_t *gpio_sys, gpio_id_t scl, gpio_id_t sda, struct i2c_bb *i2c_bb, struct i2c_bus *i2c_bus);
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/
H A Di2c.h226 gpio_id_t scl; member in struct:i2c_bb
245 * @param[in] scl The GPIO ID of the SCL pin
252 int i2c_bb_init(gpio_sys_t *gpio_sys, gpio_id_t scl, gpio_id_t sda, struct i2c_bb *i2c_bb, struct i2c_bus *i2c_bus);

Completed in 96 milliseconds