gic.hh (12100:5f19ea125548) gic.hh (12112:30b742d6e1e8)
1/*
2 * Copyright (c) 2015-2017 ARM Limited
3 * All rights reserved
4 *
5 * The license below extends only to copyright in the software and shall
6 * not be construed as granting a license to any other intellectual
7 * property including but not limited to intellectual property relating
8 * to a hardware implementation of the functionality of the software

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

189
190 public: // Pl390
191 void sendInt(uint32_t num) override;
192 void clearInt(uint32_t num) override;
193
194 void sendPPInt(uint32_t num, uint32_t cpu) override;
195 void clearPPInt(uint32_t num, uint32_t cpu) override;
196
1/*
2 * Copyright (c) 2015-2017 ARM Limited
3 * All rights reserved
4 *
5 * The license below extends only to copyright in the software and shall
6 * not be construed as granting a license to any other intellectual
7 * property including but not limited to intellectual property relating
8 * to a hardware implementation of the functionality of the software

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

189
190 public: // Pl390
191 void sendInt(uint32_t num) override;
192 void clearInt(uint32_t num) override;
193
194 void sendPPInt(uint32_t num, uint32_t cpu) override;
195 void clearPPInt(uint32_t num, uint32_t cpu) override;
196
197 protected: // Pl390
198 void updateIntState(int hint) override;
199
197 protected:
198 /** System this interrupt controller belongs to */
199 System &system;
200
201 /** Kernel GIC device */
202 KvmKernelGicV2 *kernelGic;
203
204 private:

--- 24 unchanged lines hidden --- 		200 protected:
201 /** System this interrupt controller belongs to */
202 System &system;
203
204 /** Kernel GIC device */
205 KvmKernelGicV2 *kernelGic;
206
207 private:

--- 24 unchanged lines hidden ---