Searched refs:AARCH64_MODE_EL1H (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/include/arch/aarch64/barrelfish_kpi/
H A Dflags_arch.h21 #define AARCH64_MODE_EL1H 0x5 macro

Completed in 28 milliseconds