1. 2018-01-28 Re: psci function id register on arm64 openbsd-t Mark Kettenis 2. 2018-01-28 psci function id register on arm64 openbsd-t Jonathan Gray