psu_init_xppu_aper_ram
mask_delay(u32
mask_read(u32
-dpll_prog
mask_poll(u32
mask_pollonvalue(u32
psu_ps_pl_reset_config_data
sed -i 's/()$/(void)/g' ${OUT}
sed -i 's/0X/0x/g' ${OUT}
+# return (0) -> return 0
+sed -ri 's/return \(([0-9]+)\)/return \1/g' ${OUT}
+
# Add header
cat << EOF >${TMP}
// SPDX-License-Identifier: GPL-2.0+