Searched refs:priority (Results 1 – 6 of 6) sorted by relevance
| /hyp/vm/vgic/src/ |
| A D | deliver.c | 1172 (this_priority > priority)) { in vgic_select_lr()
1664 uint8_t priority = in vgic_try_route_and_flag() local
1666 vgic_flag_unlocked(virq, target, priority); in vgic_try_route_and_flag()
1937 uint8_t priority, bool pending, bool enabled, in vgic_deliver_list_or_flag() argument
1986 vgic_flag_locked(virq, target, priority, in vgic_deliver_list_or_flag()
2016 uint8_t priority; in vgic_deliver_update_state() local
2062 checked_priority = priority; in vgic_deliver_update_state()
2065 if ((lr_r.e == OK) && (priority < lr_priority)) { in vgic_deliver_update_state()
2692 uint8_t priority; in vgic_list_if_pending() local
2714 if ((priority > priority_limit) || in vgic_list_if_pending()
[all …]
|
| A D | distrib.c | 1370 uint8_t priority) in vgic_set_irq_priority() argument
1381 vgic_delivery_state_set_priority(&new_dstate, priority); in vgic_set_irq_priority()
1389 if ((priority < in vgic_set_irq_priority()
1398 if (priority < vgic_delivery_state_get_priority(&old_dstate)) { in vgic_set_irq_priority()
1534 vgic_gicd_set_irq_priority(vic_t *vic, irq_t irq_num, uint8_t priority) in vgic_gicd_set_irq_priority() argument
1536 vgic_set_irq_priority(vic, thread_get_self(), irq_num, priority); in vgic_gicd_set_irq_priority()
2333 irq_t irq_num, uint8_t priority) in vgic_gicr_sgi_set_sgi_ppi_priority() argument
2339 vgic_set_irq_priority(vic, gicr_vcpu, irq_num, priority); in vgic_gicr_sgi_set_sgi_ppi_priority()
|
| /hyp/interfaces/scheduler/include/ |
| A D | scheduler.h | 256 scheduler_set_priority(thread_t *thread, priority_t priority)
|
| /hyp/vm/vcpu/aarch64/src/ |
| A D | hypercalls.c | 316 hypercall_vcpu_set_priority(cap_id_t cap_id, priority_t priority) argument
336 if (priority > VCPU_MAX_PRIORITY) {
346 ret = scheduler_set_priority(vcpu, priority);
|
| /hyp/vm/vgic/include/ |
| A D | internal.h | 154 vgic_gicd_set_irq_priority(vic_t *vic, irq_t irq_num, uint8_t priority);
216 irq_t irq_num, uint8_t priority);
|
| /hyp/core/scheduler_fprr/src/ |
| A D | scheduler_fprr.c | 1177 update_sched_params(thread_t *thread, priority_t priority, ticks_t timeslice) in update_sched_params() argument
1193 thread->scheduler_priority = priority; in update_sched_params()
1213 scheduler_set_priority(thread_t *thread, priority_t priority) in scheduler_set_priority() argument
1224 if ((priority > SCHEDULER_MAX_PRIORITY)) { in scheduler_set_priority()
1229 if (thread->scheduler_priority != priority) { in scheduler_set_priority()
1230 update_sched_params(thread, priority, in scheduler_set_priority()
|
Completed in 30 milliseconds