Searched defs:raw (Results 1 - 5 of 5) sorted by relevance
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/ | ||
H A D | private.h | 67 uint32_t raw; member in union:__anon425 |
/seL4-test-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ | ||
H A D | deprecated.h | 46 seL4_Word raw[5]; member in union:__anon74 63 seL4_Word raw[11]; member in union:__anon76 |
/seL4-test-master/kernel/libsel4/include/sel4/ | ||
H A D | deprecated.h | 40 seL4_Word raw[4]; member in union:__anon36 |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ | ||
H A D | pci_helper.c | 158 uint32_t raw = 0; local |
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/ | ||
H A D | private.h | 61 uint32_t raw; member in union:__anon428 72 uint32_t raw; member in union:__anon430 99 uint32_t raw; member in union:__anon432 |
Completed in 86 milliseconds