#include #define PINMUX_ADDR_SHIFT 0 #define PINMUX_ADDR_MASK (0xfff<