| PARAM_VALUE |
0 |
xhci |
4096-ptr_max |
| PARAM_VALUE |
1 |
hcd |
4096-ptr_max |
| CAPPED_DATA |
0 |
xhci->max_interrupters |
1 |
| CAPPED_DATA |
0 |
xhci->max_ports |
1 |
| CAPPED_DATA |
0 |
xhci->max_slots |
1 |
| CAPPED_DATA |
0 |
xhci->page_size |
1 |
| CAPPED_DATA |
0 |
xhci->usb2_rhub.num_ports |
1 |
| CAPPED_DATA |
1 |
hcd |
1 |
| CAPPED_DATA |
1 |
hcd->primary_hcd |
1 |
| DATA_SOURCE |
0 |
xhci |
r hcd_to_xhci |
| DATA_SOURCE |
1 |
hcd |
$0 |
| PARAM_COMPARE |
1 |
hcd |
>= $1->primary_hcd |
| PARAM_COMPARE |
1 |
hcd |
>= $1->primary_hcd |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
xhci->allow_single_roothub |
0-1 |
| HOST_DATA |
0 |
xhci->broken_suspend |
0-1 |
| HOST_DATA |
0 |
xhci->cmd_ring_reserved_trbs |
0-u32max |
| HOST_DATA |
0 |
xhci->cmd_ring_stop_completion.wait.lock.magic |
3735899821 |
| HOST_DATA |
0 |
xhci->cmd_ring_stop_completion.wait.lock.owner_cpu |
u32max |
| HOST_DATA |
0 |
xhci->cmd_ring_stop_completion.wait.lock.raw_lock.locked |
0-255 |
| HOST_DATA |
0 |
xhci->cmd_ring_stop_completion.wait.lock.raw_lock.locked_pending |
0-u16max |
| HOST_DATA |
0 |
xhci->cmd_ring_stop_completion.wait.lock.raw_lock.pending |
0-255 |
| HOST_DATA |
0 |
xhci->cmd_ring_stop_completion.wait.lock.raw_lock.tail |
0-u16max |
| HOST_DATA |
0 |
xhci->cmd_ring_stop_completion.wait.lock.raw_lock.val.counter |
s32min-s32max |
| HOST_DATA |
0 |
xhci->cmd_timer.cpu |
s32min-s32max |
| HOST_DATA |
0 |
xhci->cmd_timer.timer.expires |
0-u64max |
| HOST_DATA |
0 |
xhci->cmd_timer.timer.flags |
0-u32max |
| HOST_DATA |
0 |
xhci->cmd_timer.work.data.counter |
s64min-s64max |
| HOST_DATA |
0 |
xhci->comp_mode_recovery_timer.expires |
0-u64max |
| HOST_DATA |
0 |
xhci->comp_mode_recovery_timer.flags |
0-u32max |
| HOST_DATA |
0 |
xhci->device_pool->allocation |
0-4294967295[c] |
| HOST_DATA |
0 |
xhci->device_pool->boundary |
0-4294967295[c] |
| HOST_DATA |
0 |
xhci->device_pool->size |
0-4294967295[c] |
| HOST_DATA |
0 |
xhci->hcc_params |
0-u32max |
| HOST_DATA |
0 |
xhci->hcc_params2 |
0-u32max |
| HOST_DATA |
0 |
xhci->hci_version |
0-148,150-u16max |
| HOST_DATA |
0 |
xhci->hcs_params2 |
0-u32max |
| HOST_DATA |
0 |
xhci->hcs_params3 |
0-u32max |
| HOST_DATA |
0 |
xhci->imod_interval |
0-u32max |
| HOST_DATA |
0 |
xhci->limit_active_eps |
0-u32max |
| HOST_DATA |
0 |
xhci->max_interrupters |
0-2047[c] |
| HOST_DATA |
0 |
xhci->max_ports |
0-126[c] |
| HOST_DATA |
0 |
xhci->max_slots |
0-254[c] |
| HOST_DATA |
0 |
xhci->num_active_eps |
0-u32max |
| HOST_DATA |
0 |
xhci->nvecs |
s32min-s32max |
| HOST_DATA |
0 |
xhci->page_size |
0,4096-268431360[c] |
| HOST_DATA |
0 |
xhci->port_status_u0 |
0-u32max |
| HOST_DATA |
0 |
xhci->quirks |
0-u64max |
| HOST_DATA |
0 |
xhci->run_graceperiod |
0-u64max |
| HOST_DATA |
0 |
xhci->s3.command |
0-u32max |
| HOST_DATA |
0 |
xhci->s3.config_reg |
0-u32max |
| HOST_DATA |
0 |
xhci->s3.dcbaa_ptr |
0-u64max |
| HOST_DATA |
0 |
xhci->s3.dev_nt |
0-u32max |
| HOST_DATA |
0 |
xhci->segment_pool->allocation |
0-4294967295[c] |
| HOST_DATA |
0 |
xhci->segment_pool->boundary |
0-4294967295[c] |
| HOST_DATA |
0 |
xhci->test_mode |
0-u16max |
| HOST_DATA |
0 |
xhci->usb2_rhub.bus_state.bus_suspended |
0-u64max |
| HOST_DATA |
0 |
xhci->usb2_rhub.bus_state.next_statechange |
0-u64max |
| HOST_DATA |
0 |
xhci->usb2_rhub.bus_state.port_c_suspend |
0-u32max |
| HOST_DATA |
0 |
xhci->usb2_rhub.bus_state.port_remote_wakeup |
0-u32max |
| HOST_DATA |
0 |
xhci->usb2_rhub.bus_state.resuming_ports |
0-u64max |
| HOST_DATA |
0 |
xhci->usb2_rhub.bus_state.suspended_ports |
0-u32max |
| HOST_DATA |
0 |
xhci->usb2_rhub.maj_rev |
0-255 |
| HOST_DATA |
0 |
xhci->usb2_rhub.min_rev |
0-255 |
| HOST_DATA |
0 |
xhci->usb2_rhub.num_ports |
0-u32max[c] |
| HOST_DATA |
0 |
xhci->usb3_rhub.bus_state.bus_suspended |
0-u64max |
| HOST_DATA |
0 |
xhci->usb3_rhub.bus_state.next_statechange |
0-u64max |
| HOST_DATA |
0 |
xhci->usb3_rhub.bus_state.port_c_suspend |
0-u32max |
| HOST_DATA |
0 |
xhci->usb3_rhub.bus_state.port_remote_wakeup |
0-u32max |
| HOST_DATA |
0 |
xhci->usb3_rhub.bus_state.resuming_ports |
0-u64max |
| HOST_DATA |
0 |
xhci->usb3_rhub.bus_state.suspended_ports |
0-u32max |
| HOST_DATA |
0 |
xhci->usb3_rhub.maj_rev |
0-255 |
| HOST_DATA |
0 |
xhci->usb3_rhub.min_rev |
0-255 |
| HOST_DATA |
0 |
xhci->xhc_state |
0-u32max |
| HOST_DATA |
0 |
*xhci |
0-u64max |
| NO_OVERFLOW_SIMPLE |
0 |
xhci->max_interrupters |
|
| NO_OVERFLOW_SIMPLE |
0 |
xhci->max_ports |
|
| NO_OVERFLOW_SIMPLE |
0 |
xhci->usb2_rhub.num_ports |
|
| NO_OVERFLOW_SIMPLE |
0 |
xhci->usb3_rhub.num_ports |
|
