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

/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tx2/
H A Dplatform_init.c19 #define ARI_MCA_GLOBAL_CONFIG 0x12 macro
77 cmd.idx = ARI_MCA_GLOBAL_CONFIG;
/seL4-refos-master/tools/elfloader/src/plat/tx2/
H A Dplatform_init.c19 #define ARI_MCA_GLOBAL_CONFIG 0x12 macro
77 cmd.idx = ARI_MCA_GLOBAL_CONFIG;

Completed in 94 milliseconds