T310: capops: Replace num_monitors_online() with num_monitors_ready_for_capops()
[barrelfish] / doc / style /
drwxr-xr-x   ..
-rw-r--r-- 41595 barrelfish.bib
-rw-r--r-- 150261 bfish-logo.pdf
-rw-r--r-- 334333 bfish-logo.png
-rw-r--r-- 1156 bftn-template.tex
-rw-r--r-- 3918 bftn.sty
-rw-r--r-- 4082 defs.bib