tree 8c0471507f46b53a8bac50721a07e685e3636de0
parent f5b6af01d33996d0b381a8f64f346451697f5bec
author Jarno Lamsa <jarno.lamsa@arm.com> 1576759894 +0200
committer Jarno Lamsa <jarno.lamsa@arm.com> 1576768055 +0200

Use Platform fault when double check fails