Searched refs:get_siginfo_type (Results 1 – 5 of 5) sorted by relevance
208 gdbarch_get_siginfo_type_ftype *get_siginfo_type = nullptr; member1196 host_address_to_string (gdbarch->get_siginfo_type)); in gdbarch_dump()4479 return gdbarch->get_siginfo_type != NULL; in gdbarch_get_siginfo_type_p()4486 gdb_assert (gdbarch->get_siginfo_type != NULL); in gdbarch_get_siginfo_type()4489 return gdbarch->get_siginfo_type (gdbarch); in gdbarch_get_siginfo_type()4494 gdbarch_get_siginfo_type_ftype get_siginfo_type) in set_gdbarch_get_siginfo_type() argument4496 gdbarch->get_siginfo_type = get_siginfo_type; in set_gdbarch_get_siginfo_type()
1287 …barch_get_siginfo_type (struct gdbarch *gdbarch, gdbarch_get_siginfo_type_ftype *get_siginfo_type);
12463 * gdbarch.sh (get_siginfo_type): New.
11506 (fbsd_init_abi): Install gdbarch "get_siginfo_type" method.
7104 (nbsd_init_abi): Install gdbarch "get_siginfo_type" method.