vgic.hh (10905:a6ca6831e775) vgic.hh (11005:e7f403b6b76f)
1/*
2 * Copyright (c) 2013 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

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

217
218 private:
219 Tick readVCpu(PacketPtr pkt);
220 Tick readCtrl(PacketPtr pkt);
221
222 Tick writeVCpu(PacketPtr pkt);
223 Tick writeCtrl(PacketPtr pkt);
224
1/*
2 * Copyright (c) 2013 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

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

217
218 private:
219 Tick readVCpu(PacketPtr pkt);
220 Tick readCtrl(PacketPtr pkt);
221
222 Tick writeVCpu(PacketPtr pkt);
223 Tick writeCtrl(PacketPtr pkt);
224
225 void updateIntState(int ctx_id);
225 void updateIntState(ContextID ctx_id);
226 uint32_t getMISR(struct vcpuIntData *vid);
227 void postVInt(uint32_t cpu, Tick when);
228 void unPostVInt(uint32_t cpu);
229 void postMaintInt(uint32_t cpu);
230 void unPostMaintInt(uint32_t cpu);
231
232 unsigned int lrPending(struct vcpuIntData *vid)
233 {

--- 44 unchanged lines hidden --- 		226 uint32_t getMISR(struct vcpuIntData *vid);
227 void postVInt(uint32_t cpu, Tick when);
228 void unPostVInt(uint32_t cpu);
229 void postMaintInt(uint32_t cpu);
230 void unPostMaintInt(uint32_t cpu);
231
232 unsigned int lrPending(struct vcpuIntData *vid)
233 {

--- 44 unchanged lines hidden ---