std :: hal::aarch64
#include <std/hal/aarch64.h> source ยท definition
#include <std/hal/aarch64.h>
void aa64_dmb_sy()