Searched defs:plicReg (Results 1 – 1 of 1) sorted by relevance
30 volatile UINT32 *plicReg = (volatile UINT32 *)(PLIC_REG_BASE + 0x4); in OsMachineExternalInterrupt() local53 volatile UINT32 *plicReg = (volatile UINT32 *)PLIC_REG_BASE; in PlicIrqInit() local77 volatile UINT32 *plicReg = (volatile UINT32 *)PLIC_PRIO_BASE; in PlicIrqSetPrio() local87 volatile UINT32 *plicReg = (volatile UINT32 *)PLIC_ENABLE_BASE; in PlicIrqEnable() local99 volatile UINT32 *plicReg = (volatile UINT32 *)PLIC_ENABLE_BASE; in PlicIrqDisable() local