both instances of mux and gpio should be in the same module and interface definition