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 |
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 --- |