| commit | 3e98fdacc59bbbdbb659be1a144ccc48ed4860fa | [log] [tgz] |
|---|---|---|
| author | Javi Merino <javi.merino@arm.com> | Thu Jan 31 20:09:04 2013 +0000 |
| committer | Catalin Marinas <catalin.marinas@arm.com> | Wed Mar 20 17:22:12 2013 +0000 |
| tree | 2883828516c7f88b2f63138dfc28c93cb5b26b35 | |
| 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>