std1.0.0-beta-7 SafeC docs

std :: hal::aarch64

Function std::gic_init

#include <std/hal/aarch64.h> source ยท definition

void gic_init(unsigned long dist_base, unsigned long cpu_base)