GICv2InterruptController
InterruptController *ic = new(std::nothrow) GICv2InterruptController(
void GICv2InterruptController::DisableInterrupt(int32 irq)
GICv2InterruptController *self =
(GICv2InterruptController *)InterruptController::Get();
void GICv2InterruptController::_DisableInterrupt(int32 irq)
void GICv2InterruptController::HandleInterrupt()
void GICv2InterruptController::SendMulticastIci(CPUSet& cpuSet)
void GICv2InterruptController::SendBroadcastIci()
GICv2InterruptController::GICv2InterruptController(uint32_t gicd_addr, uint32_t gicc_addr)
GICv2InterruptController* self = (GICv2InterruptController *)arg;
void GICv2InterruptController::_PerCpuInit()
void GICv2InterruptController::EnableInterrupt(int32 irq)
GICv2InterruptController *self =
(GICv2InterruptController *)InterruptController::Get();
void GICv2InterruptController::_EnableInterrupt(int32 irq)
class GICv2InterruptController : public InterruptController {
GICv2InterruptController(uint32_t gicd_regs = 0, uint32_t gicc_regs = 0);
ic = new(std::nothrow) GICv2InterruptController(