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 Sat Jul 17 2021 20:02:50 for L4Re – L4 Runtime Environment by
1.9.1