Axel Heider f0e3a22e09 pc99: use ackInterrupt() ... PC99 is the only platform that uses Arch_finaliseInterrupt() instead of ackInterrupt(). There seem no reason for this, thus the code is moved from Arch_finaliseInterrupt() to ackInterrupt() now. Arch_finaliseInterrupt() is empty now, but still kept, because it is part of the proofs and provides a hook that might be useful one day. Signed-off-by: Axel Heider <axel.heider@hensoldt-cyber.de>		2021-10-01 15:18:51 +10:00
..
default/plat	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
pc99/plat	pc99: use ackInterrupt()	2021-10-01 15:18:51 +10:00
tk1/plat/machine	SMMU: basic driver for init and probing	2020-10-28 17:30:42 +11:00