diff options
| author | Javi Merino <javi.merino@arm.com> | 2013-01-31 20:09:04 +0000 |
|---|---|---|
| committer | Catalin Marinas <catalin.marinas@arm.com> | 2013-03-20 17:22:12 +0000 |
| commit | 3e98fdacc59bbbdbb659be1a144ccc48ed4860fa (patch) | |
| tree | 2883828516c7f88b2f63138dfc28c93cb5b26b35 /arch/arm64/include/asm/smp_plat.h | |
| parent | de79a64d61ed3f7ccec9f9661fab2f3e97256243 (diff) | |
arm64: kernel: make the pen of the secondary a 64-bit unsigned value
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>
Diffstat (limited to 'arch/arm64/include/asm/smp_plat.h')
0 files changed, 0 insertions, 0 deletions