Searched refs:GetCurrentCpuIrq (Results 1 – 2 of 2) sorted by relevance
110 var endpoints = mic.GetCurrentCpuIrq(micIndex).Endpoints;
362 public GPIO GetCurrentCpuIrq (int index) in GetCurrentCpuIrq() method in Antmicro.Renode.Peripherals.IRQControllers.GaislerMIC
