arm64: kernel: make the pen of the secondary a 64-bit unsigned value
authorJavi Merino <javi.merino@arm.com>
Thu, 31 Jan 2013 20:09:04 +0000 (20:09 +0000)
committerCatalin Marinas <catalin.marinas@arm.com>
Wed, 20 Mar 2013 17:22:12 +0000 (17:22 +0000)
Change the prototype of write_pen_release() accordingly and clarify
that's holding the hardware id of the secondary that's going to boot.
This is in preparation of getting HWIDs parsed from the DT.

Signed-off-by: Javi Merino <javi.merino@arm.com>
Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>

No differences found