Re: [PATCH v2 08/21] arm: socfpga: Add SMC helper function for Intel SOCFPGA (64bits)