path: root/src/dtblint.h

void dtblint_imx_pinmux(void);