AM6442: [MCU SDK] Setting pinmux + pin output

I'm currently updating the source code for the OTP keywriter (I believe this is built on FreeRTOS) - specifically I'm trying to set PRG0_MDIO0_MDIO as it's connected as the VPP line.

The existing reference source code goes through the IO expander, but we're bypassing that and just directly setting the line.

So I'm modifying keywriter_setVpp() with a call to Pinmux_config() to configure PIN_PRG0_MDIO0_MDIO with PIN_MODE = 0:

static Pinmux_PerCfg_t gVppPinMuxData[] = 
{
    {
        PIN_PRG0_MDIO0_MDIO,
        PIN_MODE(0)
    },
    { PINMUX_END, PINMUX_END }
};

void keywriter_setVpp()
{
    Pinmux_config(gVppPinMuxData, PINMUX_DOMAIN_ID_MAIN);
    ...

So my question is - once this is done, do I just use the MDIO_phyRegWrite() function to set the line? I'm a bit lost at this part. Is there an example somewhere that does this?