Here is a list of all documented variables with links to the struct/union documentation for each field:

- k -

• kip_ds : l4re_aux_t
• kip_sys_calls : l4_kernel_info_t