drivers: firmware: psci: Use __pa_symbol for kernel symbol
authorLaura Abbott <labbott@redhat.com>
Tue, 10 Jan 2017 21:35:46 +0000 (13:35 -0800)
committerWill Deacon <will.deacon@arm.com>
Wed, 11 Jan 2017 13:56:50 +0000 (13:56 +0000)
commit1a08e3d9e0ac4577ba89dbdb38f593fe050f88fc
treef3ab30b39528d1688ac65ac6d58be33741bf5e0b
parent46f6236aa1c48e06b10a2fe0386ac4114b438622
drivers: firmware: psci: Use __pa_symbol for kernel symbol

__pa_symbol is technically the macro that should be used for kernel
symbols. Switch to this as a pre-requisite for DEBUG_VIRTUAL which
will do bounds checking.

Reviewed-by: Mark Rutland <mark.rutland@arm.com>
Tested-by: Mark Rutland <mark.rutland@arm.com>
Signed-off-by: Laura Abbott <labbott@redhat.com>
Signed-off-by: Will Deacon <will.deacon@arm.com>
drivers/firmware/psci.c