test.c

    u32 elpdr_config_val = ((pinmux_config_val >> 0x0B) & 0x100); // Gets CONFIG bit 19 in bit 8
    
    /* Adjust ELpdr */
    if (pinmux_config_mask_val & 0x800) { // Checks CONFIG_MASK bit 11
        /* This pin supports ELpdr change */
        if (pinmux_mask_val & 0x100) { // Checks MASK bit 8
            /* Change ELpdr */
            if (((pinmux_val >> 0x08) ^ (pinmux_config_val >> 0x0B)) & 0x01) { // if VAL bit 8 != CONFIG bit 11 
                pinmux_val |= elpdr_config_val; // set VAL bit 8 to CONFIG bit 19
            }
        }
    }