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

/seL4-test-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Dmux.c661 void *pinmux_misc_vaddr = NULL, *pinmux_aux_vaddr = NULL; local
664 pinmux_misc_vaddr = RESOURCE(io_ops, TK1_MUX_MISC);
665 if (pinmux_misc_vaddr == NULL) {
675 return tegra_mux_init(pinmux_misc_vaddr, pinmux_aux_vaddr, io_ops,

Completed in 24 milliseconds