The dispatcher control block. More...
Collaboration diagram for dcb:
Data Fields | |
| dispatcher_handle_t | disp |
| User-mode dispatcher frame pointer. | |
| bool | disabled |
| Was dispatcher disabled when last saved? | |
| struct cte | cspace |
| Cap slot for CSpace. | |
| lpaddr_t | vspace |
| Address of VSpace root. | |
| unsigned int | faults_taken |
| bool | is_vm_guest |
| Indicates whether this domain shall be executed in VM guest mode. | |
| struct guest | guest_desc |
| Descriptor of the VM Guest. | |
| uint64_t | domain_id |
| ID of dispatcher's domain. | |
| systime_t | wakeup_time |
| Time to wakeup this dispatcher. | |
| struct dcb * | wakeup_next |
| Next/prev in timeout queue. | |
| struct dcb * | next |
| Next DCB in schedule. | |
| struct dcb * | prev |
Detailed Description
The dispatcher control block.
This block holds necessary kernel data to control a user-space dispatcher
Field Documentation
| unsigned int dcb::faults_taken |
of disabled faults or traps taken
| struct dcb* dcb::prev |
Previous DCB in schedule (only valid iff CONFIG_SCHEDULER_RR)
The documentation for this struct was generated from the following file:
- kernel/include/dispatch.h
