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

- u -

• ulr : l4_exc_regs_t
• used_addr : l4virtio_config_queue_t
• user : l4_thread_regs_t
• user_data : l4_vcpu_state_t
• user_ptr : l4_kernel_info_t
• user_task : l4_vcpu_state_t
• utcb_area : l4re_env_t