/* Save the FDT address provided by TF-A in r2 at boot time This function is called from start.S  */
void save_boot_params(unsigned long r0, unsigned long r1, unsigned long r2, unsigned long r3)
/* Save the FDT address provided by TF-A in r2 at boot time This function is called from start.S  */
void save_boot_params(unsigned long r0, unsigned long r1, unsigned long r2, unsigned long r3)
{
	nt_fw_dtb = r2;
	save_boot_params_ret();
}