Searched refs:register_names (Results 1 - 14 of 14) sorted by relevance

/seL4-refos-master/libs/libsel4debug/src/
H A Dregister_dump.c39 printf("%s%s\t:0x%lx\n", prefix, register_names[i], (long) ((seL4_Word * )&context)[i]);
/seL4-refos-master/projects/seL4_libs/libsel4debug/src/
H A Dregister_dump.c39 printf("%s%s\t:0x%lx\n", prefix, register_names[i], (long) ((seL4_Word * )&context)[i]);
/seL4-refos-master/libs/libsel4debug/sel4_arch_include/ia32/sel4debug/sel4_arch/
H A Dregisters.h19 static UNUSED const char *register_names[] = { variable
33 compile_time_assert(register_names_correct_size, sizeof(register_names) == sizeof(seL4_UserContext));
35 /* assert that register_names correspond to seL4_UserContext */
/seL4-refos-master/projects/seL4_libs/libsel4debug/sel4_arch_include/ia32/sel4debug/sel4_arch/
H A Dregisters.h19 static UNUSED const char *register_names[] = { variable
33 compile_time_assert(register_names_correct_size, sizeof(register_names) == sizeof(seL4_UserContext));
35 /* assert that register_names correspond to seL4_UserContext */
/seL4-refos-master/libs/libsel4debug/sel4_arch_include/x86_64/sel4debug/sel4_arch/
H A Dregisters.h19 static UNUSED const char *register_names[] = { variable
41 compile_time_assert(register_names_correct_size, sizeof(register_names) == sizeof(seL4_UserContext));
43 /* assert that register_names correspond to seL4_UserContext */
/seL4-refos-master/projects/seL4_libs/libsel4debug/sel4_arch_include/x86_64/sel4debug/sel4_arch/
H A Dregisters.h19 static UNUSED const char *register_names[] = { variable
41 compile_time_assert(register_names_correct_size, sizeof(register_names) == sizeof(seL4_UserContext));
43 /* assert that register_names correspond to seL4_UserContext */
/seL4-refos-master/libs/libsel4debug/arch_include/riscv/sel4debug/arch/
H A Dregisters.h18 static UNUSED const char *register_names[] = { variable
57 /* assert that register_names correspond to seL4_UserContext */
58 compile_time_assert(register_names_correct_size, sizeof(register_names) == sizeof(seL4_UserContext));
/seL4-refos-master/projects/seL4_libs/libsel4debug/arch_include/riscv/sel4debug/arch/
H A Dregisters.h18 static UNUSED const char *register_names[] = { variable
57 /* assert that register_names correspond to seL4_UserContext */
58 compile_time_assert(register_names_correct_size, sizeof(register_names) == sizeof(seL4_UserContext));
/seL4-refos-master/libs/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/
H A Dregisters.h19 static UNUSED const char *register_names[] = { variable
40 /* assert that register_names correspond to seL4_UserContext */
/seL4-refos-master/libs/libsel4debug/sel4_arch_include/arm_hyp/sel4debug/sel4_arch/
H A Dregisters.h19 static UNUSED const char *register_names[] = { variable
40 /* assert that register_names correspond to seL4_UserContext */
/seL4-refos-master/projects/seL4_libs/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/
H A Dregisters.h19 static UNUSED const char *register_names[] = { variable
40 /* assert that register_names correspond to seL4_UserContext */
/seL4-refos-master/projects/seL4_libs/libsel4debug/sel4_arch_include/arm_hyp/sel4debug/sel4_arch/
H A Dregisters.h19 static UNUSED const char *register_names[] = { variable
40 /* assert that register_names correspond to seL4_UserContext */
/seL4-refos-master/projects/seL4_libs/libsel4debug/sel4_arch_include/aarch64/sel4debug/sel4_arch/
H A Dregisters.h19 static UNUSED const char *register_names[] = { variable
58 /* assert that register_names correspond to seL4_UserContext */
/seL4-refos-master/libs/libsel4debug/sel4_arch_include/aarch64/sel4debug/sel4_arch/
H A Dregisters.h19 static UNUSED const char *register_names[] = { variable
58 /* assert that register_names correspond to seL4_UserContext */

Completed in 84 milliseconds