| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 421 sel4utils_res_t *res = reservation_to_res(image); local
|
| H A D | vspace.c | 348 sel4utils_res_t *res = reservation_to_res(reservation); local
374 sel4utils_res_t *res = reservation_to_res(reservation); local
495 sel4utils_res_t *res local
577 sel4utils_res_t *res = malloc(sizeof(sel4utils_res_t)); local
645 sel4utils_res_t *res = reservation.res; local
666 sel4utils_res_t *res = reservation.res; local
809 reservation_t res = { .res = data->reservation_head }; local
831 sel4utils_res_t *res = reservation_to_res(reservation); local
[all...] |
| /seL4-refos-master/libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 421 sel4utils_res_t *res = reservation_to_res(image); local
|
| H A D | vspace.c | 348 sel4utils_res_t *res = reservation_to_res(reservation); local
374 sel4utils_res_t *res = reservation_to_res(reservation); local
495 sel4utils_res_t *res local
577 sel4utils_res_t *res = malloc(sizeof(sel4utils_res_t)); local
645 sel4utils_res_t *res = reservation.res; local
666 sel4utils_res_t *res = reservation.res; local
809 reservation_t res = { .res = data->reservation_head }; local
831 sel4utils_res_t *res = reservation_to_res(reservation); local
[all...] |
| /seL4-refos-master/kernel/src/arch/x86/machine/ |
| H A D | breakpoint.c | 449 convertedTypeAndAccess_t res; local
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | dig.c | 819 int res = 0; local
|
| H A D | mhitu.c | 877 int res; local
|
| H A D | uhitm.c | 2466 int tmp, amt, res = 0, useeit = canseemon(mtmp); local
|
| H A D | eat.c | 1882 int res = edibility_prompts(otmp); local
|
| H A D | vision.c | 405 register int res = *sv; local
[all...] |
| H A D | apply.c | 211 int rx, ry, res; local
826 int res = 0; local
2116 int rx, ry, proficient, res = 0; local
2370 int res = 0, typ, max_range = 4, min_range = 4; local
2476 int res = 0, typ, max_range = 4, tohit; local
2783 register int res = 1; local
[all...] |
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | dig.c | 819 int res = 0; local
|
| H A D | mhitu.c | 877 int res; local
|
| H A D | uhitm.c | 2466 int tmp, amt, res = 0, useeit = canseemon(mtmp); local
|
| H A D | eat.c | 1882 int res = edibility_prompts(otmp); local
|
| H A D | vision.c | 405 register int res = *sv; local
[all...] |
| /seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
| H A D | madt.h | 47 uint8_t res; /* 0 */ member in struct:acpi_madt_ioapic
79 uint8_t res[2]; member in struct:acpi_madt_locoverride
87 uint8_t res; member in struct:acpi_madt_sapic
98 uint8_t res[3]; member in struct:acpi_madt_locsapic
120 uint8_t res[2]; /* 0 */ member in struct:acpi_madt_locx2apic
132 uint8_t res[3]; /* 0 */ member in struct:acpi_madt_locx2apicnmi
138 uint8_t res[2]; /* 0 */ member in struct:acpi_madt_gic
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
| H A D | madt.h | 47 uint8_t res; /* 0 */ member in struct:acpi_madt_ioapic
79 uint8_t res[2]; member in struct:acpi_madt_locoverride
87 uint8_t res; member in struct:acpi_madt_sapic
98 uint8_t res[3]; member in struct:acpi_madt_locsapic
120 uint8_t res[2]; /* 0 */ member in struct:acpi_madt_locx2apic
132 uint8_t res[3]; /* 0 */ member in struct:acpi_madt_locx2apicnmi
138 uint8_t res[2]; /* 0 */ member in struct:acpi_madt_gic
|
| /seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
| H A D | vspace.h | 25 void *res; member in struct:reservation
580 vspace_new_pages_at_vaddr_with_config(vspace_t *vspace, vspace_new_pages_config_t *config, reservation_t res) argument
879 vspace_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, void *vaddr, reservation_t res) argument
[all...] |
| /seL4-refos-master/libs/libsel4vspace/include/vspace/ |
| H A D | vspace.h | 25 void *res; member in struct:reservation
580 vspace_new_pages_at_vaddr_with_config(vspace_t *vspace, vspace_new_pages_config_t *config, reservation_t res) argument
879 vspace_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, void *vaddr, reservation_t res) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
| H A D | spi.c | 107 uint32_t res; member in struct:spi_regs
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | spi.c | 107 uint32_t res; member in struct:spi_regs
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | timer.c | 327 uint32_t res = *regs->int_sts; local
|
| /seL4-refos-master/libs/libplatsupport/src/mach/zynq/ |
| H A D | timer.c | 327 uint32_t res = *regs->int_sts; local
|
| /seL4-refos-master/kernel/src/arch/arm/machine/ |
| H A D | l2c_310.c | 106 uint32_t res[62]; member in struct:l2cc_map::__anon93
114 uint32_t res[60]; member in struct:l2cc_map::__anon94
127 uint32_t res[55]; member in struct:l2cc_map::__anon95
131 uint32_t res[64]; member in struct:l2cc_map::__anon96
134 uint32_t res[64]; member in struct:l2cc_map::__anon97
137 uint32_t res[64]; member in struct:l2cc_map::__anon98
140 uint32_t res[64]; member in struct:l2cc_map::__anon99
144 uint32_t res[12]; member in struct:l2cc_map::__anon100
163 uint32_t res[64]; member in struct:l2cc_map::__anon101
183 uint32_t res[ member in struct:l2cc_map::__anon102
190 uint32_t res[64]; member in struct:l2cc_map::__anon103
193 uint32_t res[64]; member in struct:l2cc_map::__anon104
199 uint32_t res[62]; member in struct:l2cc_map::__anon105
203 uint32_t res[64]; member in struct:l2cc_map::__anon106
206 uint32_t res[64]; member in struct:l2cc_map::__anon107
210 uint32_t res[16]; member in struct:l2cc_map::__anon108
[all...] |