Method InitPlic

src/arch/riscv64/interrupt.cpp:135–138

}

auto Interrupt::InitPlic(uint64_t dev_addr, size_t ndev, size_t context_count)
    -> void {
  plic_ = Plic(dev_addr, ndev, context_count);
}