L4Re - L4 Runtime Environment
- u -
ulr :
l4_exc_regs_t
used_addr :
l4virtio_config_queue_t
user :
l4_thread_regs_t
user_ptr :
l4_kernel_info_t
user_task :
l4_vcpu_state_t
utcb_area :
l4re_env_t
Generated on Sun Nov 25 2018 13:34:57 for L4Re - L4 Runtime Environment by
1.8.13