cap_type (reference) in projects: seL4-master

Searched refs:cap_type (Results 1 – 7 of 7) sorted by relevance

/seL4-master/src/benchmark/
A D	benchmark_utilisation.c	`20 word_t cap_type; in benchmark_track_utilisation_dump() local 24 cap_type = cap_get_capType(lu_ret.cap); in benchmark_track_utilisation_dump() 25 if (cap_type != cap_thread_cap) { in benchmark_track_utilisation_dump()`
/seL4-master/src/api/
A D	syscall.c	98 word_t cap_type = cap_get_capType(lu_ret.cap); in handleUnknownSyscall() local 99 setRegister(NODE_STATE(ksCurThread), capRegister, cap_type); in handleUnknownSyscall() 111 word_t cap_type = cap_get_capType(lu_ret.cap); in handleUnknownSyscall() local 112 if (cap_type != cap_thread_cap) { in handleUnknownSyscall() 255 word_t cap_type; in handleUnknownSyscall() local 259 cap_type = cap_get_capType(lu_ret.cap); in handleUnknownSyscall() 260 if (cap_type != cap_thread_cap) { in handleUnknownSyscall()
/seL4-master/libsel4/include/sel4/
A D	benchmark_track_types.h	`47 seL4_Word cap_type: 5; member`
/seL4-master/include/benchmark/
A D	benchmark_track.h	`56 ksKernelEntry.cap_type = cap_get_capType(lu_ret.cap); in benchmark_debug_syscall_start()`
/seL4-master/include/api/
A D	debug.h	`47 printf("Cap type: %lu, Invocation tag: %lu\n", (unsigned long) ksKernelEntry.cap_type, in debug_printKernelEntryReason()`
/seL4-master/src/object/
A D	cnode.c	`728 word_t cap_type = cap_get_capType(slot->cap); in cteDeleteOne() local 729 if (cap_type != cap_null_cap) { in cteDeleteOne()`
/seL4-master/
A D	gdb-macros	`148 define cap_type`

Completed in 8 milliseconds