L4Re - L4 Runtime Environment
- c -
cap :
l4re_env_cap_entry_t
capacity :
l4virtio_block_config_t
caps :
L4::Type_info::Demand
cfg_device_notify_index :
l4virtio_config_hdr_t
cfg_driver_notify_index :
l4virtio_config_hdr_t
cmd :
l4virtio_config_hdr_t
cmdline :
l4util_mb_info_t
,
l4util_mb_mod_t
cnt_addr_space_switch :
l4_tracebuffer_status_t
cnt_context_switch :
l4_tracebuffer_status_t
cnt_io_fault :
l4_tracebuffer_status_t
cnt_iobmap_tlb_flush :
l4_tracebuffer_status_t
cnt_ipc_long :
l4_tracebuffer_status_t
cnt_irq :
l4_tracebuffer_status_t
cnt_page_fault :
l4_tracebuffer_status_t
cnt_schedule :
l4_tracebuffer_status_t
cnt_shortcut_failed :
l4_tracebuffer_status_t
cnt_shortcut_success :
l4_tracebuffer_status_t
cnt_task_create :
l4_tracebuffer_status_t
code :
l4re_event_t
config_table :
l4util_mb_info_t
count :
l4_vhw_descriptor
cpsr :
l4_exc_regs_t
cs :
l4_vcpu_regs_t
current_entry :
l4_tracebuffer_status_t
cx :
l4_vcpu_regs_t
Generated on Sun Nov 25 2018 13:34:57 for L4Re - L4 Runtime Environment by
1.8.13