dev-arm: Add resetHppi method in the GICv3 cpu interface

The method is used for resetting the highest priority pending interrupt
interrupt from the cpu interface if it matches the intid passed as an

Change-Id: I9fbc4cb3e05a1cc32f853b6afab5c2bc99369435
Signed-off-by: Giacomo Travaglini <>
Reviewed-by: Andreas Sandberg <>
Tested-by: kokoro <>
Maintainer: Andreas Sandberg <>
3 files changed