Searched refs:saveIrqNum (Results 1 – 1 of 1) sorted by relevance
31 UINT32 irqNum, saveIrqNum; in OsMachineExternalInterrupt() local34 saveIrqNum = irqNum; in OsMachineExternalInterrupt()44 WRITE_UINT32(saveIrqNum, plicReg); in OsMachineExternalInterrupt()