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

/barrelfish-master/kernel/arch/arm/
H A Dgic_v2.c46 static void check_cpu_if_statusr(void) function
88 check_cpu_if_statusr();
100 check_cpu_if_statusr();
114 check_cpu_if_statusr();
134 check_cpu_if_statusr();
137 check_cpu_if_statusr();
149 check_cpu_if_statusr();
158 check_cpu_if_statusr();
203 check_cpu_if_statusr();

Completed in 81 milliseconds