Hello
to convert the output of the pinmux tool you have to do the following steps
first at mux.h replace
#define MUX_VAL(OFFSET,VALUE) writel((VALUE), AM335X_CTRL_BASE + (OFFSET));
with
HWREG( SOC_CONTROL_REGS + (OFFSET)) = (VALUE);
and #include "hw_types.h"
at pinmux.h
#include "mux.h"
and delete /* Design Status: NO ERRORS */ and Spaces