std :: hal::aarch64
#include <std/hal/aarch64.h> source
#include <std/hal/aarch64.h>
#define GIC_CPU_BASE 0x08010000UL