| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/ |
| H A D | boot.c | 59 vm_vcpu_t *vm_create_vcpu(vm_t *vm, int priority) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4serialserver/src/ |
| H A D | parentapi.c | 28 serial_server_parent_spawn_thread(simple_t *parent_simple, vka_t *parent_vka, vspace_t *parent_vspace, uint8_t priority) argument
|
| /seL4-test-master/projects/sel4test/apps/sel4test-driver/include/ |
| H A D | test_init_data.h | 68 int priority; member in struct:__anon28
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/include/ |
| H A D | test_init_data.h | 68 int priority; member in struct:__anon29
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
| H A D | guest_vcpu_util.c | 36 vm_vcpu_t *create_vmm_plat_vcpu(vm_t *vm, int priority) argument
|
| /seL4-test-master/projects/musllibc/src/misc/ |
| H A D | syslog.c | 82 static void _vsyslog(int priority, const char *message, va_list ap) argument
125 void __vsyslog(int priority, const char *message, va_list ap) argument
136 void syslog(int priority, const char *message, ...) argument
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | process_config.h | 139 static inline sel4utils_process_config_t process_config_priority(sel4utils_process_config_t config, uint8_t priority) argument
|
| H A D | thread_config.h | 29 uint8_t priority; member in struct:sched_params
144 static inline sel4utils_thread_config_t thread_config_priority(sel4utils_thread_config_t config, uint8_t priority) argument
|
| /seL4-test-master/kernel/src/arch/arm/object/ |
| H A D | vcpu.c | 381 word_t vid, priority, group, index; local
|
| /seL4-test-master/tools/seL4/elfloader-tool/src/plat/imx6/ |
| H A D | platform_init.c | 150 uint32_t priority[255]; member in struct:gicd_map
|
| /seL4-test-master/tools/seL4/elfloader-tool/src/plat/tk1/ |
| H A D | platform_init.c | 226 uint32_t priority[255]; member in struct:gicd_map
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/ |
| H A D | guest_vm.h | 112 int priority; member in struct:vm_tcb
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
| H A D | intc.c | 75 uint32_t priority[64]; /* +0x200 */ member in struct:intctl
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
| H A D | irq_server.c | 57 seL4_Word priority; member in struct:irq_server
327 irq_server_t *irq_server_new(vspace_t *vspace, vka_t *vka, seL4_Word priority, argument
|
| /seL4-test-master/projects/seL4_libs/libsel4test/include/sel4test/ |
| H A D | test.h | 75 int priority; member in struct:env
|
| /seL4-test-master/kernel/src/arch/arm/machine/ |
| H A D | gic_v3.c | 142 uint32_t priority; local
237 uint32_t priority; local
[all...] |
| /seL4-test-master/kernel/include/arch/arm/arch/machine/ |
| H A D | gic_v2.h | 63 uint32_t priority[255]; /* [0x400, 0x7FC) */ member in struct:gic_dist_map
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/i8259/ |
| H A D | i8259.c | 109 int priority = 0; local
144 int mask, cur_priority, priority; local
290 int priority, cmd, irq; local
[all...] |
| /seL4-test-master/kernel/src/object/ |
| H A D | tcb.c | 1752 invokeTCB_ThreadControl(tcb_t *target, cte_t *slot, cptr_t faultep, prio_t mcp, prio_t priority, cap_t cRoot_newCap, cte_t *cRoot_srcSlot, cap_t vRoot_newCap, cte_t *vRoot_srcSlot, word_t bufferAddr, cap_t bufferCap, cte_t *bufferSrcSlot, thread_control_flag_t updateFlags) argument
1828 invokeTCB_ThreadControlSched(tcb_t *target, cte_t *slot, cap_t fh_newCap, cte_t *fh_srcSlot, prio_t mcp, prio_t priority, sched_context_t *sc, thread_control_flag_t updateFlags) argument
[all...] |
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/vgic/ |
| H A D | vgic.c | 156 uint32_t priority[247]; /* [0x420, 0x7FC) */ member in struct:gic_dist_map
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ |
| H A D | apicdef.h | 235 u32 priority : 8, member in struct:local_apic_regs::__anon20
242 u32 priority : 8, member in struct:local_apic_regs::__anon21
249 u32 priority : 8, member in struct:local_apic_regs::__anon22
|