L4Re – L4 Runtime Environment
- d -
d_ptr :
Elf32_Dyn
,
Elf64_Dyn
d_tag :
Elf32_Dyn
,
Elf64_Dyn
d_val :
Elf32_Dyn
,
Elf64_Dyn
data :
L4::Ipc::Array_in_buf< ELEM_TYPE, LEN_TYPE, MAX >
dbg_lvl :
l4re_aux_t
desc_addr :
l4virtio_config_queue_t
descs :
l4_vhw_descriptor
dev_features :
l4virtio_config_hdr_t
device :
l4virtio_config_hdr_t
device_notify_index :
l4virtio_config_queue_t
di :
l4_vcpu_regs_t
drive_cylinders :
l4util_mb_drive_t
drive_heads :
l4util_mb_drive_t
drive_mode :
l4util_mb_drive_t
drive_number :
l4util_mb_drive_t
drive_ports :
l4util_mb_drive_t
drive_sectors :
l4util_mb_drive_t
driver_notify_index :
l4virtio_config_queue_t
drives_addr :
l4util_mb_info_t
drives_length :
l4util_mb_info_t
ds :
l4_exc_regs_t
,
l4_vcpu_regs_t
dummy1 :
l4_exc_regs_t
,
l4_vcpu_regs_t
dx :
l4_vcpu_regs_t
Generated on Sat Jul 17 2021 20:02:50 for L4Re – L4 Runtime Environment by
1.9.1