mux_debug_idx     157 drivers/clk/pistachio/clk-pistachio.c static u32 mux_debug_idx[] = { 0x0, 0x1, 0x2, 0x4, 0x8, 0x10 };
mux_debug_idx     194 drivers/clk/pistachio/clk-pistachio.c 					   mux_debug_idx, NULL);