std :: hal::riscv
#include <std/hal/riscv.h> source
#include <std/hal/riscv.h>
#define PLIC_MAX_IRQ 53