Searched refs:active_evtchns (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/xen/xen/ | ||
H A D | hypervisor.c | 33 #define active_evtchns(cpu,sh,idx) \ macro 61 while ( (l2 = active_evtchns(cpu, s, l1i)) != 0 ) |
Completed in 26 milliseconds