Searched refs:tk1_mux_get_group_offset_for_pin (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/libplatsupport/src/plat/tk1/
H A Dmux_gpio_priv.h147 tk1_mux_get_group_offset_for_pin(int mux_reg_index) function
H A Dmux.c267 group_offset = tk1_mux_get_group_offset_for_pin(mux_reg_index);
282 group_offset = tk1_mux_get_group_offset_for_pin(mux_reg_index);
654 tk1_mux_get_group_offset_for_pin(MUX_PAD_GEN1_I2C_SCL_PC4),
655 tk1_mux_get_group_offset_for_pin(MUX_PAD_CAM_I2C_SCL_PBB1));
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Dmux_gpio_priv.h147 tk1_mux_get_group_offset_for_pin(int mux_reg_index) function
H A Dmux.c267 group_offset = tk1_mux_get_group_offset_for_pin(mux_reg_index);
282 group_offset = tk1_mux_get_group_offset_for_pin(mux_reg_index);
654 tk1_mux_get_group_offset_for_pin(MUX_PAD_GEN1_I2C_SCL_PC4),
655 tk1_mux_get_group_offset_for_pin(MUX_PAD_CAM_I2C_SCL_PBB1));

Completed in 71 milliseconds