summaryrefslogtreecommitdiff
path: root/src/dev
diff options
context:
space:
mode:
authorCurtis Dunham <Curtis.Dunham@arm.com>2016-08-02 13:35:47 +0100
committerCurtis Dunham <Curtis.Dunham@arm.com>2016-08-02 13:35:47 +0100
commitba09d8ac92d8ac0316218466447e7758266a98ef (patch)
treea88d1e92198d980cf213872c1d5c9b32dcf7eb40 /src/dev
parentfc8fd0fd186a24ae3203637e734ea9448054f4ad (diff)
downloadgem5-ba09d8ac92d8ac0316218466447e7758266a98ef.tar.xz
arm: s/ctx_id/ctx/ the GIC
Factored out of the larger banked register change. Change-Id: I947dbdb9c00b4678bea9d4f77b913b7014208690 Reviewed-by: Andreas Sandberg <andreas.sandberg@arm.com>
Diffstat (limited to 'src/dev')
-rw-r--r--src/dev/arm/gic_pl390.cc168
-rw-r--r--src/dev/arm/gic_pl390.hh22
2 files changed, 95 insertions, 95 deletions
diff --git a/src/dev/arm/gic_pl390.cc b/src/dev/arm/gic_pl390.cc
index 0256db69c..5a73c3100 100644
--- a/src/dev/arm/gic_pl390.cc
+++ b/src/dev/arm/gic_pl390.cc
@@ -123,49 +123,49 @@ Pl390::readDistributor(PacketPtr pkt)
{
Addr daddr = pkt->getAddr() - distAddr;
- ContextID ctx_id = pkt->req->contextId();
+ ContextID ctx = pkt->req->contextId();
DPRINTF(GIC, "gic distributor read register %#x\n", daddr);
if (GICD_ISENABLER.contains(daddr)) {
uint32_t ix = (daddr - GICD_ISENABLER.start()) >> 2;
assert(ix < 32);
- pkt->set<uint32_t>(getIntEnabled(ctx_id, ix));
+ pkt->set<uint32_t>(getIntEnabled(ctx, ix));
goto done;
}
if (GICD_ICENABLER.contains(daddr)) {
uint32_t ix = (daddr - GICD_ICENABLER.start()) >> 2;
assert(ix < 32);
- pkt->set<uint32_t>(getIntEnabled(ctx_id, ix));
+ pkt->set<uint32_t>(getIntEnabled(ctx, ix));
goto done;
}
if (GICD_ISPENDR.contains(daddr)) {
uint32_t ix = (daddr - GICD_ISPENDR.start()) >> 2;
assert(ix < 32);
- pkt->set<uint32_t>(getPendingInt(ctx_id, ix));
+ pkt->set<uint32_t>(getPendingInt(ctx, ix));
goto done;
}
if (GICD_ICPENDR.contains(daddr)) {
uint32_t ix = (daddr - GICD_ICPENDR.start()) >> 2;
assert(ix < 32);
- pkt->set<uint32_t>(getPendingInt(ctx_id, ix));
+ pkt->set<uint32_t>(getPendingInt(ctx, ix));
goto done;
}
if (GICD_ISACTIVER.contains(daddr)) {
uint32_t ix = (daddr - GICD_ISACTIVER.start()) >> 2;
assert(ix < 32);
- pkt->set<uint32_t>(getPendingInt(ctx_id, ix));
+ pkt->set<uint32_t>(getPendingInt(ctx, ix));
goto done;
}
if (GICD_ICACTIVER.contains(daddr)) {
uint32_t ix = (daddr - GICD_ICACTIVER.start()) >> 2;
assert(ix < 32);
- pkt->set<uint32_t>(getPendingInt(ctx_id, ix));
+ pkt->set<uint32_t>(getPendingInt(ctx, ix));
goto done;
}
@@ -176,19 +176,19 @@ Pl390::readDistributor(PacketPtr pkt)
switch (pkt->getSize()) {
case 1:
- pkt->set<uint8_t>(getIntPriority(ctx_id, int_num));
+ pkt->set<uint8_t>(getIntPriority(ctx, int_num));
break;
case 2:
assert((int_num + 1) < INT_LINES_MAX);
- pkt->set<uint16_t>(getIntPriority(ctx_id, int_num) |
- getIntPriority(ctx_id, int_num+1) << 8);
+ pkt->set<uint16_t>(getIntPriority(ctx, int_num) |
+ getIntPriority(ctx, int_num+1) << 8);
break;
case 4:
assert((int_num + 3) < INT_LINES_MAX);
- pkt->set<uint32_t>(getIntPriority(ctx_id, int_num) |
- getIntPriority(ctx_id, int_num+1) << 8 |
- getIntPriority(ctx_id, int_num+2) << 16 |
- getIntPriority(ctx_id, int_num+3) << 24);
+ pkt->set<uint32_t>(getIntPriority(ctx, int_num) |
+ getIntPriority(ctx, int_num+1) << 8 |
+ getIntPriority(ctx, int_num+2) << 16 |
+ getIntPriority(ctx, int_num+3) << 24);
break;
default:
panic("Invalid size while reading priority regs in GIC: %d\n",
@@ -216,13 +216,13 @@ Pl390::readDistributor(PacketPtr pkt)
cpuTarget[int_num+3] << 24) ;
}
} else {
- assert(ctx_id < sys->numRunningContexts());
+ assert(ctx < sys->numRunningContexts());
uint32_t ctx_mask;
if (gem5ExtensionsEnabled) {
- ctx_mask = ctx_id;
+ ctx_mask = ctx;
} else {
// convert the CPU id number into a bit mask
- ctx_mask = power(2, ctx_id);
+ ctx_mask = power(2, ctx);
}
// replicate the 8-bit mask 4 times in a 32-bit word
ctx_mask |= ctx_mask << 8;
@@ -269,28 +269,28 @@ Pl390::readCpu(PacketPtr pkt)
Addr daddr = pkt->getAddr() - cpuAddr;
assert(pkt->req->hasContextId());
- ContextID ctx_id = pkt->req->contextId();
- assert(ctx_id < sys->numRunningContexts());
+ ContextID ctx = pkt->req->contextId();
+ assert(ctx < sys->numRunningContexts());
DPRINTF(GIC, "gic cpu read register %#x cpu context: %d\n", daddr,
- ctx_id);
+ ctx);
switch(daddr) {
case GICC_IIDR:
pkt->set<uint32_t>(0);
break;
case GICC_CTLR:
- pkt->set<uint32_t>(cpuEnabled[ctx_id]);
+ pkt->set<uint32_t>(cpuEnabled[ctx]);
break;
case GICC_PMR:
- pkt->set<uint32_t>(cpuPriority[ctx_id]);
+ pkt->set<uint32_t>(cpuPriority[ctx]);
break;
case GICC_BPR:
- pkt->set<uint32_t>(cpuBpr[ctx_id]);
+ pkt->set<uint32_t>(cpuBpr[ctx]);
break;
case GICC_IAR:
- if (enabled && cpuEnabled[ctx_id]) {
- int active_int = cpuHighestInt[ctx_id];
+ if (enabled && cpuEnabled[ctx]) {
+ int active_int = cpuHighestInt[ctx];
IAR iar = 0;
iar.ack_id = active_int;
iar.cpu_id = 0;
@@ -304,39 +304,39 @@ Pl390::readCpu(PacketPtr pkt)
// See which CPU generated the interrupt
uint8_t cpugen =
bits(cpuSgiPending[active_int], 7 + 8 * x, 8 * x);
- if (cpugen & (1 << ctx_id)) {
+ if (cpugen & (1 << ctx)) {
iar.cpu_id = x;
break;
}
}
- uint64_t sgi_num = ULL(1) << (ctx_id + 8 * iar.cpu_id);
+ uint64_t sgi_num = ULL(1) << (ctx + 8 * iar.cpu_id);
cpuSgiActive[iar.ack_id] |= sgi_num;
cpuSgiPending[iar.ack_id] &= ~sgi_num;
} else {
uint64_t sgi_num = ULL(1) << iar.ack_id;
- cpuSgiActiveExt[ctx_id] |= sgi_num;
- cpuSgiPendingExt[ctx_id] &= ~sgi_num;
+ cpuSgiActiveExt[ctx] |= sgi_num;
+ cpuSgiPendingExt[ctx] &= ~sgi_num;
}
} else if (active_int < (SGI_MAX + PPI_MAX) ) {
- uint32_t int_num = 1 << (cpuHighestInt[ctx_id] - SGI_MAX);
- cpuPpiActive[ctx_id] |= int_num;
+ uint32_t int_num = 1 << (cpuHighestInt[ctx] - SGI_MAX);
+ cpuPpiActive[ctx] |= int_num;
updateRunPri();
- cpuPpiPending[ctx_id] &= ~int_num;
+ cpuPpiPending[ctx] &= ~int_num;
} else {
- uint32_t int_num = 1 << intNumToBit(cpuHighestInt[ctx_id]);
- activeInt[intNumToWord(cpuHighestInt[ctx_id])] |= int_num;
+ uint32_t int_num = 1 << intNumToBit(cpuHighestInt[ctx]);
+ getActiveInt(ctx, intNumToWord(cpuHighestInt[ctx])) |= int_num;
updateRunPri();
- getPendingInt(ctx_id, intNumToWord(cpuHighestInt[ctx_id]))
+ getPendingInt(ctx, intNumToWord(cpuHighestInt[ctx]))
&= ~int_num;
}
DPRINTF(Interrupt,"CPU %d reading IAR.id=%d IAR.cpu=%d, iar=0x%x\n",
- ctx_id, iar.ack_id, iar.cpu_id, iar);
- cpuHighestInt[ctx_id] = SPURIOUS_INT;
+ ctx, iar.ack_id, iar.cpu_id, iar);
+ cpuHighestInt[ctx] = SPURIOUS_INT;
updateIntState(-1);
pkt->set<uint32_t>(iar);
- platform->intrctrl->clear(ctx_id, ArmISA::INT_IRQ, 0);
+ platform->intrctrl->clear(ctx, ArmISA::INT_IRQ, 0);
} else {
pkt->set<uint32_t>(SPURIOUS_INT);
}
@@ -363,7 +363,7 @@ Pl390::writeDistributor(PacketPtr pkt)
Addr daddr = pkt->getAddr() - distAddr;
assert(pkt->req->hasContextId());
- ContextID ctx_id = pkt->req->contextId();
+ ContextID ctx = pkt->req->contextId();
uint32_t pkt_data M5_VAR_USED;
switch (pkt->getSize())
@@ -388,14 +388,14 @@ Pl390::writeDistributor(PacketPtr pkt)
if (GICD_ISENABLER.contains(daddr)) {
uint32_t ix = (daddr - GICD_ISENABLER.start()) >> 2;
assert(ix < 32);
- getIntEnabled(ctx_id, ix) |= pkt->get<uint32_t>();
+ getIntEnabled(ctx, ix) |= pkt->get<uint32_t>();
goto done;
}
if (GICD_ICENABLER.contains(daddr)) {
uint32_t ix = (daddr - GICD_ICENABLER.start()) >> 2;
assert(ix < 32);
- getIntEnabled(ctx_id, ix) &= ~pkt->get<uint32_t>();
+ getIntEnabled(ctx, ix) &= ~pkt->get<uint32_t>();
goto done;
}
@@ -403,7 +403,7 @@ Pl390::writeDistributor(PacketPtr pkt)
uint32_t ix = (daddr - GICD_ISPENDR.start()) >> 2;
auto mask = pkt->get<uint32_t>();
if (ix == 0) mask &= SGI_MASK; // Don't allow SGIs to be changed
- getPendingInt(ctx_id, ix) |= mask;
+ getPendingInt(ctx, ix) |= mask;
updateIntState(ix);
goto done;
}
@@ -412,20 +412,20 @@ Pl390::writeDistributor(PacketPtr pkt)
uint32_t ix = (daddr - GICD_ICPENDR.start()) >> 2;
auto mask = pkt->get<uint32_t>();
if (ix == 0) mask &= SGI_MASK; // Don't allow SGIs to be changed
- getPendingInt(ctx_id, ix) &= ~mask;
+ getPendingInt(ctx, ix) &= ~mask;
updateIntState(ix);
goto done;
}
if (GICD_ISACTIVER.contains(daddr)) {
uint32_t ix = (daddr - GICD_ISACTIVER.start()) >> 2;
- getActiveInt(ctx_id, ix) |= pkt->get<uint32_t>();
+ getActiveInt(ctx, ix) |= pkt->get<uint32_t>();
goto done;
}
if (GICD_ICACTIVER.contains(daddr)) {
uint32_t ix = (daddr - GICD_ICACTIVER.start()) >> 2;
- getActiveInt(ctx_id, ix) &= ~pkt->get<uint32_t>();
+ getActiveInt(ctx, ix) &= ~pkt->get<uint32_t>();
goto done;
}
@@ -433,20 +433,20 @@ Pl390::writeDistributor(PacketPtr pkt)
Addr int_num = daddr - GICD_IPRIORITYR.start();
switch(pkt->getSize()) {
case 1:
- getIntPriority(ctx_id, int_num) = pkt->get<uint8_t>();
+ getIntPriority(ctx, int_num) = pkt->get<uint8_t>();
break;
case 2: {
auto tmp16 = pkt->get<uint16_t>();
- getIntPriority(ctx_id, int_num) = bits(tmp16, 7, 0);
- getIntPriority(ctx_id, int_num + 1) = bits(tmp16, 15, 8);
+ getIntPriority(ctx, int_num) = bits(tmp16, 7, 0);
+ getIntPriority(ctx, int_num + 1) = bits(tmp16, 15, 8);
break;
}
case 4: {
auto tmp32 = pkt->get<uint32_t>();
- getIntPriority(ctx_id, int_num) = bits(tmp32, 7, 0);
- getIntPriority(ctx_id, int_num + 1) = bits(tmp32, 15, 8);
- getIntPriority(ctx_id, int_num + 2) = bits(tmp32, 23, 16);
- getIntPriority(ctx_id, int_num + 3) = bits(tmp32, 31, 24);
+ getIntPriority(ctx, int_num) = bits(tmp32, 7, 0);
+ getIntPriority(ctx, int_num + 1) = bits(tmp32, 15, 8);
+ getIntPriority(ctx, int_num + 2) = bits(tmp32, 23, 16);
+ getIntPriority(ctx, int_num + 3) = bits(tmp32, 31, 24);
break;
}
default:
@@ -504,7 +504,7 @@ Pl390::writeDistributor(PacketPtr pkt)
gem5ExtensionsEnabled ? "enabled" : "disabled");
break;
case GICD_SGIR:
- softInt(ctx_id, pkt->get<uint32_t>());
+ softInt(ctx, pkt->get<uint32_t>());
break;
default:
panic("Tried to write Gic distributor at offset %#x\n", daddr);
@@ -522,72 +522,72 @@ Pl390::writeCpu(PacketPtr pkt)
Addr daddr = pkt->getAddr() - cpuAddr;
assert(pkt->req->hasContextId());
- ContextID ctx_id = pkt->req->contextId();
+ ContextID ctx = pkt->req->contextId();
IAR iar;
DPRINTF(GIC, "gic cpu write register cpu:%d %#x val: %#x\n",
- ctx_id, daddr, pkt->get<uint32_t>());
+ ctx, daddr, pkt->get<uint32_t>());
switch(daddr) {
case GICC_CTLR:
- cpuEnabled[ctx_id] = pkt->get<uint32_t>();
+ cpuEnabled[ctx] = pkt->get<uint32_t>();
break;
case GICC_PMR:
- cpuPriority[ctx_id] = pkt->get<uint32_t>();
+ cpuPriority[ctx] = pkt->get<uint32_t>();
break;
case GICC_BPR:
- cpuBpr[ctx_id] = pkt->get<uint32_t>();
+ cpuBpr[ctx] = pkt->get<uint32_t>();
break;
case GICC_EOIR:
iar = pkt->get<uint32_t>();
if (iar.ack_id < SGI_MAX) {
// Clear out the bit that corrseponds to the cleared int
- uint64_t clr_int = ULL(1) << (ctx_id + 8 * iar.cpu_id);
+ uint64_t clr_int = ULL(1) << (ctx + 8 * iar.cpu_id);
if (!(cpuSgiActive[iar.ack_id] & clr_int) &&
- !(cpuSgiActiveExt[ctx_id] & (1 << iar.ack_id)))
+ !(cpuSgiActiveExt[ctx] & (1 << iar.ack_id)))
panic("Done handling a SGI that isn't active?\n");
if (gem5ExtensionsEnabled)
- cpuSgiActiveExt[ctx_id] &= ~(1 << iar.ack_id);
+ cpuSgiActiveExt[ctx] &= ~(1 << iar.ack_id);
else
cpuSgiActive[iar.ack_id] &= ~clr_int;
} else if (iar.ack_id < (SGI_MAX + PPI_MAX) ) {
uint32_t int_num = 1 << (iar.ack_id - SGI_MAX);
- if (!(cpuPpiActive[ctx_id] & int_num))
+ if (!(cpuPpiActive[ctx] & int_num))
panic("CPU %d Done handling a PPI interrupt "
- "that isn't active?\n", ctx_id);
- cpuPpiActive[ctx_id] &= ~int_num;
+ "that isn't active?\n", ctx);
+ cpuPpiActive[ctx] &= ~int_num;
} else {
uint32_t int_num = 1 << intNumToBit(iar.ack_id);
- if (!(getActiveInt(ctx_id, intNumToWord(iar.ack_id)) & int_num))
+ if (!(getActiveInt(ctx, intNumToWord(iar.ack_id)) & int_num))
warn("Done handling interrupt that isn't active: %d\n",
intNumToBit(iar.ack_id));
- getActiveInt(ctx_id, intNumToWord(iar.ack_id)) &= ~int_num;
+ getActiveInt(ctx, intNumToWord(iar.ack_id)) &= ~int_num;
}
updateRunPri();
DPRINTF(Interrupt, "CPU %d done handling intr IAR = %d from cpu %d\n",
- ctx_id, iar.ack_id, iar.cpu_id);
+ ctx, iar.ack_id, iar.cpu_id);
break;
default:
panic("Tried to write Gic cpu at offset %#x\n", daddr);
break;
}
- if (cpuEnabled[ctx_id]) updateIntState(-1);
+ if (cpuEnabled[ctx]) updateIntState(-1);
pkt->makeAtomicResponse();
return cpuPioDelay;
}
Pl390::BankedRegs&
-Pl390::getBankedRegs(ContextID ctx_id) {
- if (bankedRegs.size() <= ctx_id)
- bankedRegs.resize(ctx_id + 1);
+Pl390::getBankedRegs(ContextID ctx) {
+ if (bankedRegs.size() <= ctx)
+ bankedRegs.resize(ctx + 1);
- if (!bankedRegs[ctx_id])
- bankedRegs[ctx_id] = new BankedRegs;
- return *bankedRegs[ctx_id];
+ if (!bankedRegs[ctx])
+ bankedRegs[ctx] = new BankedRegs;
+ return *bankedRegs[ctx];
}
void
-Pl390::softInt(ContextID ctx_id, SWI swi)
+Pl390::softInt(ContextID ctx, SWI swi)
{
if (gem5ExtensionsEnabled) {
switch (swi.list_type) {
@@ -595,7 +595,7 @@ Pl390::softInt(ContextID ctx_id, SWI swi)
// interrupt cpus specified
int dest = swi.cpu_list;
DPRINTF(IPI, "Generating softIRQ from CPU %d for CPU %d\n",
- ctx_id, dest);
+ ctx, dest);
if (cpuEnabled[dest]) {
cpuSgiPendingExt[dest] |= (1 << swi.sgi_id);
DPRINTF(IPI, "SGI[%d]=%#x\n", dest,
@@ -616,11 +616,11 @@ Pl390::softInt(ContextID ctx_id, SWI swi)
case 2: {
// Interrupt requesting cpu only
DPRINTF(IPI, "Generating softIRQ from CPU %d for CPU %d\n",
- ctx_id, ctx_id);
- if (cpuEnabled[ctx_id]) {
- cpuSgiPendingExt[ctx_id] |= (1 << swi.sgi_id);
- DPRINTF(IPI, "SGI[%d]=%#x\n", ctx_id,
- cpuSgiPendingExt[ctx_id]);
+ ctx, ctx);
+ if (cpuEnabled[ctx]) {
+ cpuSgiPendingExt[ctx] |= (1 << swi.sgi_id);
+ DPRINTF(IPI, "SGI[%d]=%#x\n", ctx,
+ cpuSgiPendingExt[ctx]);
}
} break;
}
@@ -636,19 +636,19 @@ Pl390::softInt(ContextID ctx_id, SWI swi)
break;
case 2:
// interrupt requesting cpu only
- swi.cpu_list = 1 << ctx_id;
+ swi.cpu_list = 1 << ctx;
break;
// else interrupt cpus specified
}
- DPRINTF(IPI, "Generating softIRQ from CPU %d for %#x\n", ctx_id,
+ DPRINTF(IPI, "Generating softIRQ from CPU %d for %#x\n", ctx,
swi.cpu_list);
for (int i = 0; i < sys->numContexts(); i++) {
DPRINTF(IPI, "Processing CPU %d\n", i);
if (!cpuEnabled[i])
continue;
if (swi.cpu_list & (1 << i))
- cpuSgiPending[swi.sgi_id] |= (1 << i) << (8 * ctx_id);
+ cpuSgiPending[swi.sgi_id] |= (1 << i) << (8 * ctx);
DPRINTF(IPI, "SGI[%d]=%#x\n", swi.sgi_id,
cpuSgiPending[swi.sgi_id]);
}
diff --git a/src/dev/arm/gic_pl390.hh b/src/dev/arm/gic_pl390.hh
index e406bc260..b1164f961 100644
--- a/src/dev/arm/gic_pl390.hh
+++ b/src/dev/arm/gic_pl390.hh
@@ -189,9 +189,9 @@ class Pl390 : public BaseGic
* 1b per interrupt, 32 bits per word, 31 words */
uint32_t intEnabled[INT_BITS_MAX-1];
- uint32_t& getIntEnabled(ContextID ctx_id, uint32_t ix) {
+ uint32_t& getIntEnabled(ContextID ctx, uint32_t ix) {
if (ix == 0) {
- return getBankedRegs(ctx_id).intEnabled;
+ return getBankedRegs(ctx).intEnabled;
} else {
return intEnabled[ix - 1];
}
@@ -202,10 +202,10 @@ class Pl390 : public BaseGic
* 1b per interrupt, 32 bits per word, 31 words */
uint32_t pendingInt[INT_BITS_MAX-1];
- uint32_t& getPendingInt(ContextID ctx_id, uint32_t ix) {
+ uint32_t& getPendingInt(ContextID ctx, uint32_t ix) {
assert(ix < INT_BITS_MAX);
if (ix == 0) {
- return getBankedRegs(ctx_id).pendingInt;
+ return getBankedRegs(ctx).pendingInt;
} else {
return pendingInt[ix - 1];
}
@@ -216,10 +216,10 @@ class Pl390 : public BaseGic
* 1b per interrupt, 32 bits per word, 31 words */
uint32_t activeInt[INT_BITS_MAX-1];
- uint32_t& getActiveInt(ContextID ctx_id, uint32_t ix) {
+ uint32_t& getActiveInt(ContextID ctx, uint32_t ix) {
assert(ix < INT_BITS_MAX);
if (ix == 0) {
- return getBankedRegs(ctx_id).activeInt;
+ return getBankedRegs(ctx).activeInt;
} else {
return activeInt[ix - 1];
}
@@ -234,10 +234,10 @@ class Pl390 : public BaseGic
*/
uint8_t intPriority[GLOBAL_INT_LINES];
- uint8_t& getIntPriority(ContextID ctx_id, uint32_t ix) {
+ uint8_t& getIntPriority(ContextID ctx, uint32_t ix) {
assert(ix < INT_LINES_MAX);
if (ix < SGI_MAX + PPI_MAX) {
- return getBankedRegs(ctx_id).intPriority[ix];
+ return getBankedRegs(ctx).intPriority[ix];
} else {
return intPriority[ix - (SGI_MAX + PPI_MAX)];
}
@@ -248,10 +248,10 @@ class Pl390 : public BaseGic
*/
uint8_t cpuTarget[GLOBAL_INT_LINES];
- uint8_t& getCpuTarget(ContextID ctx_id, uint32_t ix) {
+ uint8_t& getCpuTarget(ContextID ctx, uint32_t ix) {
assert(ix < INT_LINES_MAX);
if (ix < SGI_MAX + PPI_MAX) {
- return getBankedRegs(ctx_id).cpuTarget[ix];
+ return getBankedRegs(ctx).cpuTarget[ix];
} else {
return cpuTarget[ix - (SGI_MAX + PPI_MAX)];
}
@@ -297,7 +297,7 @@ class Pl390 : public BaseGic
/** software generated interrupt
* @param data data to decode that indicates which cpus to interrupt
*/
- void softInt(ContextID ctx_id, SWI swi);
+ void softInt(ContextID ctx, SWI swi);
/** See if some processor interrupt flags need to be enabled/disabled
* @param hint which set of interrupts needs to be checked