Searched refs:cap_type (Results 1 - 8 of 8) sorted by relevance
| /seL4-test-master/kernel/src/benchmark/ |
| H A D | benchmark_utilisation.c | 20 word_t cap_type; local
24 cap_type = cap_get_capType(lu_ret.cap);
25 if (cap_type != cap_thread_cap) {
|
| /seL4-test-master/kernel/libsel4/include/sel4/ |
| H A D | benchmark_track_types.h | 50 seL4_Word cap_type: 5; member in struct:kernel_entry::__anon27::__anon29
|
| /seL4-test-master/kernel/include/benchmark/ |
| H A D | benchmark_track.h | 56 ksKernelEntry.cap_type = cap_get_capType(lu_ret.cap);
|
| /seL4-test-master/kernel/include/api/ |
| H A D | debug.h | 47 printf("Cap type: %lu, Invocation tag: %lu\n", (unsigned long) ksKernelEntry.cap_type,
|
| /seL4-test-master/kernel/src/api/ |
| H A D | syscall.c | 102 word_t cap_type = cap_get_capType(lu_ret.cap); local
103 setRegister(NODE_STATE(ksCurThread), capRegister, cap_type); local
115 word_t cap_type = cap_get_capType(lu_ret.cap); local
116 if (cap_type != cap_thread_cap) {
259 word_t cap_type; local
263 cap_type = cap_get_capType(lu_ret.cap);
264 if (cap_type != cap_thread_cap) {
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | benchmark_track.h | 76 logBuffer[index].entry.cap_type,
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | pci_helper.c | 422 uint32_t cap_type = 0; local
423 error = existing.ioread(existing.cookie, value, 1, &cap_type);
425 if (cap_type == PCI_CAP_ID_MSI) {
430 } else if (cap_type == PCI_CAP_ID_MSIX) {
|
| /seL4-test-master/kernel/src/object/ |
| H A D | cnode.c | 728 word_t cap_type = cap_get_capType(slot->cap); local
729 if (cap_type != cap_null_cap) {
734 \<or> gs_get_assn cteDeleteOne_'proc \<acute>ghost'state = \<acute>cap_type, id)" */
|
Completed in 162 milliseconds