std :: hal::aarch64
#include <std/hal/aarch64.h> source
#include <std/hal/aarch64.h>
#define GIC_DIST_BASE 0x08000000UL
typical QEMU virt / Juno board