1c1
< # Copyright (c) 2015 ARM Limited
---
> # Copyright (c) 2015, 2017 ARM Limited
41c41
< from Gic import BaseGic
---
> from Gic import BaseGic, Pl390
54a55,58
>
> class MuxingKvmGic(Pl390):
> type = 'MuxingKvmGic'
> cxx_header = "arch/arm/kvm/gic.hh"