Here is a list of all documented variables with links to the documentation:

• gfxbitmap_font_t : font.h
• l4re_ds_t : dataspace.h
• l4re_namespace_t : namespace.h