T310: capops: Replace num_monitors_online() with num_monitors_ready_for_capops()
[barrelfish] / doc / 010-spec /
drwxr-xr-x   ..
-rw-r--r-- 991 Hakefile
-rw-r--r-- 19054 Spec.tex
-rw-r--r-- 639 app_cspace.dot
-rw-r--r-- 474 cap_types.dot
-rw-r--r-- 487 disp_states_simple.circo
-rw-r--r-- 568 disp_states_simple_save_area_analysis.dot
-rw-r--r-- 698 init_cspace.dot