lookupCapAndSlot_ret_t (reference) in projects: seL4-master

Project(s)

Full Search
Definition
Symbol
File Path
Type

Searched refs:lookupCapAndSlot_ret_t (Results 1 – 10 of 10) sorted by relevance

/seL4-master/include/kernel/
A D	cspace.h	`25 typedef struct lookupCapAndSlot_ret lookupCapAndSlot_ret_t; typedef 47 lookupCapAndSlot_ret_t lookupCapAndSlot(tcb_t *thread, cptr_t cPtr);`
/seL4-master/include/benchmark/
A D	benchmark_track.h	`53 lookupCapAndSlot_ret_t lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), cptr); in benchmark_debug_syscall_start()`
/seL4-master/src/kernel/
A D	cspace.c	`32 lookupCapAndSlot_ret_t lookupCapAndSlot(tcb_t *thread, cptr_t cPtr) in lookupCapAndSlot() 35 lookupCapAndSlot_ret_t ret; in lookupCapAndSlot()`
/seL4-master/src/machine/
A D	capdl.c	`181 lookupCapAndSlot_ret_t c = lookupCapAndSlot(tcb, i); in obj_tcb_print_cnodes() 308 lookupCapAndSlot_ret_t c = lookupCapAndSlot(tcb, i); in obj_cnode_print_slots() 317 lookupCapAndSlot_ret_t c = lookupCapAndSlot(tcb, i); in obj_cnode_print_slots()`
/seL4-master/src/api/
A D	syscall.c	`97 lookupCapAndSlot_ret_t lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), cptr); in handleUnknownSyscall() 109 lookupCapAndSlot_ret_t lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), cptr); in handleUnknownSyscall() 368 lookupCapAndSlot_ret_t lu_ret; in handleInvocation()`
/seL4-master/src/arch/x86/32/kernel/
A D	vspace.c	`661 lookupCapAndSlot_ret_t lu_ret; in benchmark_arch_map_logBuffer()`
/seL4-master/src/arch/riscv/kernel/
A D	vspace.c	`1182 lookupCapAndSlot_ret_t lu_ret; in benchmark_arch_map_logBuffer()`
/seL4-master/src/arch/x86/64/kernel/
A D	vspace.c	`1624 lookupCapAndSlot_ret_t lu_ret; in benchmark_arch_map_logBuffer()`
/seL4-master/src/arch/arm/64/kernel/
A D	vspace.c	`2521 lookupCapAndSlot_ret_t lu_ret; in benchmark_arch_map_logBuffer()`
/seL4-master/src/arch/arm/32/kernel/
A D	vspace.c	`2669 lookupCapAndSlot_ret_t lu_ret;`

Completed in 24 milliseconds