/seL4-test-master/projects/seL4_libs/libsel4vka/src/ |
H A D | null-vka.c | 57 static uintptr_t utspace_paddr(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument 52 utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
|
H A D | debug-vka.c | 288 utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
|
/seL4-test-master/kernel/src/arch/arm/object/ |
H A D | interrupt.c | 86 seL4_Word target = getSyscallArg(4, buffer); local
|
/seL4-test-master/kernel/src/object/ |
H A D | schedcontrol.c | 13 static exception_t invokeSchedControl_Configure(sched_context_t *target, word_t core, ticks_t budget, argument [all...] |
H A D | tcb.c | 1671 static inline exception_t installTCBCap(tcb_t *target, cap_t tCap, cte_t *slot, argument 1690 exception_t invokeTCB_ThreadControlCaps(tcb_t *target, cte_t *slot, argument 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_libs/libsel4allocman/src/ |
H A D | vka.c | 160 static void am_vka_utspace_free (void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument 171 static uintptr_t am_vka_utspace_paddr (void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument
|
/seL4-test-master/kernel/src/arch/arm/machine/ |
H A D | gic_v2.c | 46 uint32_t target = 0; local 88 uint8_t target = infer_cpu_gic_id(nirqs); local 207 setIRQTarget(irq_t irq, seL4_Word target) argument [all...] |
H A D | gic_v3.c | 376 void setIRQTarget(irq_t irq, seL4_Word target) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4bga/src/arch-x86/ |
H A D | bga.c | 125 char *target; local
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
H A D | slab.c | 109 slab_utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument
|
/seL4-test-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | vka.h | 278 static inline void vka_utspace_free(vka_t *vka, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument 296 static inline uintptr_t vka_utspace_paddr(vka_t *vka, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument
|
/seL4-test-master/kernel/src/api/ |
H A D | syscall.c | 137 seL4_Word target = getRegister(NODE_STATE(ksCurThread), capRegister); local
|
/seL4-test-master/kernel/src/arch/riscv/machine/ |
H A D | hardware.c | 238 uint64_t target; local
|
/seL4-test-master/projects/util_libs/libfdt/ |
H A D | fdt_overlay.c | 601 overlay_apply_node(void *fdt, int target, void *fdto, int node) argument 669 int target; local 741 int root_sym, ov_sym, prop, path_len, fragment, target; local [all...] |
/seL4-test-master/kernel/libsel4/arch_include/arm/sel4/arch/ |
H A D | syscalls.h | 648 LIBSEL4_INLINE_FUNC void seL4_DebugSendIPI(seL4_Uint8 target, unsigned irq) argument
|
/seL4-test-master/kernel/src/kernel/ |
H A D | thread.c | 69 void suspend(tcb_t *target) argument 88 void restart(tcb_t *target) argument 522 possibleSwitchTo(tcb_t *target) argument [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | lapic.c | 461 vm_lapic_t *target = vcpu->vcpu_arch.lapic; local
|