1/*
2 * Copyright (c) 2018 Metempsy Technology Consulting
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;
9 * redistributions in binary form must reproduce the above copyright

--- 271 unchanged lines hidden (view full) ---

281 Bitfield<7, 2> res0_0;
282 Bitfield<1> EOImode;
283 Bitfield<0> CBPR;
284 EndBitUnion(ICV_CTLR_EL1)
285
286 protected:
287
288 void activateIRQ(uint32_t intid, Gicv3::GroupId group);
289 int currEL() const;
290 void deactivateIRQ(uint32_t intid, Gicv3::GroupId group);
291 void dropPriority(Gicv3::GroupId group);
292 uint64_t eoiMaintenanceInterruptStatus() const;
293 bool getHCREL2FMO() const;
294 bool getHCREL2IMO() const;
295 uint32_t getHPPIR0() const;
296 uint32_t getHPPIR1() const;

--- 43 unchanged lines hidden ---