Given rproc defines this as u64, I think using u64 would be even better than phys_addr_t. I'd like to keep this as generic as possible, as someone may want to do the reverse too (boot the CA5x from the CR7). And of course there's also the SH-4A core on R-Car Gen2 ;-)
Ok let's go for u64, will just move the sanity check for 32bits length inside the rcar-rst function. Thanks for your time! -- Julien Massot [IoT.bzh]