| /seL4-refos-master/libs/libmuslc/arch/aarch64/bits/ |
| H A D | user.h | 15 typedef unsigned long elf_greg_t, elf_gregset_t[ELF_NREG]; typedef
|
| /seL4-refos-master/libs/libmuslc/arch/aarch64_sel4/bits/ |
| H A D | user.h | 15 typedef unsigned long elf_greg_t, elf_gregset_t[ELF_NREG]; typedef
|
| /seL4-refos-master/libs/libmuslc/arch/mips/bits/ |
| H A D | user.h | 12 typedef unsigned long elf_greg_t, elf_gregset_t[ELF_NGREG]; typedef
|
| /seL4-refos-master/libs/libmuslc/arch/mips64/bits/ |
| H A D | user.h | 14 typedef unsigned long elf_greg_t, elf_gregset_t[ELF_NGREG]; typedef
|
| /seL4-refos-master/libs/libmuslc/arch/mipsn32/bits/ |
| H A D | user.h | 14 typedef unsigned long elf_greg_t, elf_gregset_t[ELF_NGREG]; typedef
|
| /seL4-refos-master/libs/libmuslc/arch/sh/bits/ |
| H A D | user.h | 56 typedef unsigned long elf_greg_t; typedef
57 typedef elf_greg_t elf_gregset_t[ELF_NGREG];
|
| /seL4-refos-master/libs/libmuslc/arch/arm/bits/ |
| H A D | user.h | 21 typedef unsigned long elf_greg_t, elf_gregset_t[ELF_NGREG]; typedef
|
| /seL4-refos-master/libs/libmuslc/arch/arm_sel4/bits/ |
| H A D | user.h | 21 typedef unsigned long elf_greg_t, elf_gregset_t[ELF_NGREG]; typedef
|
| /seL4-refos-master/libs/libmuslc/arch/powerpc/bits/ |
| H A D | user.h | 19 typedef unsigned long elf_greg_t, elf_gregset_t[ELF_NGREG]; typedef
|
| /seL4-refos-master/libs/libmuslc/arch/powerpc64/bits/ |
| H A D | user.h | 19 typedef unsigned long elf_greg_t, elf_gregset_t[ELF_NGREG]; typedef
|
| /seL4-refos-master/libs/libmuslc/arch/s390x/bits/ |
| H A D | user.h | 15 typedef unsigned long elf_greg_t, elf_gregset_t[ELF_NGREG]; typedef
|
| /seL4-refos-master/libs/libmuslc/arch/i386/bits/ |
| H A D | user.h | 20 typedef unsigned long elf_greg_t, elf_gregset_t[ELF_NGREG]; typedef
|
| /seL4-refos-master/libs/libmuslc/arch/i386_sel4/bits/ |
| H A D | user.h | 20 typedef unsigned long elf_greg_t, elf_gregset_t[ELF_NGREG]; typedef
|
| /seL4-refos-master/libs/libmuslc/arch/x32/bits/ |
| H A D | user.h | 17 typedef unsigned long long elf_greg_t, elf_gregset_t[ELF_NGREG]; typedef
|
| /seL4-refos-master/libs/libmuslc/arch/x86_64/bits/ |
| H A D | user.h | 17 typedef unsigned long long elf_greg_t, elf_gregset_t[ELF_NGREG]; typedef
|
| /seL4-refos-master/libs/libmuslc/arch/x86_64_sel4/bits/ |
| H A D | user.h | 17 typedef unsigned long long elf_greg_t, elf_gregset_t[ELF_NGREG]; typedef
|