| /seL4-test-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/ |
| H A D | object.h | 22 static inline int vka_alloc_vcpu (vka_t *vka, vka_object_t *result) argument
27 static inline int vka_alloc_ept_page_directory_pointer_table (vka_t *vka, vka_object_t *result) argument
32 static inline int vka_alloc_ept_page_directory (vka_t *vka, vka_object_t *result) argument
37 static inline int vka_alloc_ept_page_table (vka_t *vka, vka_object_t *result) argument
41 static inline int vka_alloc_ept_pdpt(vka_t *vka, vka_object_t *result) argument
45 vka_alloc_ept_pml4(vka_t *vka, vka_object_t *result) argument
51 vka_alloc_io_page_table(vka_t *vka, vka_object_t *result) argument
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | object_capops.h | 28 vka_mint_object_inter_cspace(vka_t *src_vka, vka_object_t *object, vka_t *dest_vka, cspacepath_t *result, seL4_CapRights_t rights, seL4_Word badge) argument
50 vka_mint_object(vka_t *vka, vka_object_t *object, cspacepath_t *result, argument
|
| /seL4-test-master/kernel/src/arch/x86/kernel/ |
| H A D | smp_sys.c | 120 bool_t result; local
|
| /seL4-test-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/ |
| H A D | io_port_ops.c | 28 sel4platsupport_io_port_in(void *cookie, uint32_t port, int io_size, uint32_t *result) argument
93 int result; local
[all...] |
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/tests/ |
| H A D | breakpoints.c | 52 seL4_TCB_ConfigureSingleStepping_t result; local
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | guest_x86_context.c | 148 seL4_X86_VCPU_ReadVMCS_t UNUSED result; local
166 seL4_X86_VCPU_WriteVMCS_t UNUSED result; local
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
| H A D | ac_device.c | 36 seL4_Word mask, result; local
|
| /seL4-test-master/projects/seL4_libs/libsel4serialserver/src/ |
| H A D | parentapi.c | 209 parent_ep_obj_to_cspath(cspacepath_t *result) argument
216 result); local
|
| /seL4-test-master/tools/riscv-pk/machine/ |
| H A D | emulation.c | 157 static inline int emulate_read_csr(int num, uintptr_t mstatus, uintptr_t* result) argument
[all...] |
| H A D | fp_emulation.c | 261 uint64_t result, limit, limit_result; local
346 uintptr_t result; local
[all...] |
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | regressions.c | 41 void reply_to_parent(seL4_Word result) argument
78 int result; local
223 seL4_Word dummy1, dummy2, result; local
288 seL4_Word result; local
[all...] |
| H A D | pagetables.c | 336 int result = SUCCESS; local
|
| H A D | preempt.c | 148 int result = test_preempt_revoke_actual(env, num_cnode_bits); local
|
| H A D | breakpoints.c | 198 int error, result; local
240 int error, result; local
282 seL4_TCB_GetBreakpoint_t result; local
316 seL4_TCB_GetBreakpoint_t result; local
350 seL4_TCB_GetBreakpoint_t result; local
380 seL4_TCB_GetBreakpoint_t result; local
457 int error, result; local
[all...] |
| H A D | multicore.c | 281 test_result_t result; local
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/drivers/ |
| H A D | vmm_pci_helper.c | 67 vmm_pci_io_port_in(vm_vcpu_t *vcpu, void *cookie, unsigned int port_no, unsigned int size, unsigned int *result) argument
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | virtio_emul.c | 41 static int emul_io_in(virtio_emul_t *emul, unsigned int offset, unsigned int size, unsigned int *result) argument
|
| /seL4-test-master/projects/musllibc/src/thread/ |
| H A D | pthread_create.c | 22 _Noreturn void __pthread_exit(void *result) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4vka/src/ |
| H A D | debug-vka.c | 120 int result = v->cspace_alloc(v->data, res); local
221 int result = v->utspace_alloc(v->data, dest, type, size_bits, res); local
236 int result = v->utspace_alloc_maybe_device(v->data, dest, type, size_bits, can_use_dev, res); local
257 int result local
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4vspace/src/ |
| H A D | vspace.c | 78 void *result; local
|
| /seL4-test-master/projects/musllibc/arch/powerpc/bits/ |
| H A D | user.h | 3 unsigned long trap, dar, dsisr, result; member in struct:pt_regs
|
| /seL4-test-master/projects/musllibc/arch/powerpc64/bits/ |
| H A D | user.h | 3 unsigned long trap, dar, dsisr, result; member in struct:pt_regs
|
| /seL4-test-master/projects/util_libs/libpci/src/ |
| H A D | virtual_device.c | 196 uint32_t result = 0; local
|
| /seL4-test-master/kernel/include/arch/x86/arch/32/mode/ |
| H A D | machine.h | 86 rdmsr_safe_result_t result; local
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/ |
| H A D | main.c | 234 test_result_t result = SUCCESS; local
|