Searched refs:cannot_fetch_register (Results 1 – 2 of 2) sorted by relevance
188 gdbarch_cannot_fetch_register_ftype *cannot_fetch_register; member518 gdbarch->cannot_fetch_register = cannot_register_not; in gdbarch_alloc()860 host_address_to_string (gdbarch->cannot_fetch_register)); in gdbarch_dump()2359 gdb_assert (gdbarch->cannot_fetch_register != NULL); in gdbarch_cannot_fetch_register()2362 return gdbarch->cannot_fetch_register (gdbarch, regnum); in gdbarch_cannot_fetch_register()2367 gdbarch_cannot_fetch_register_ftype cannot_fetch_register) in set_gdbarch_cannot_fetch_register() argument2369 gdbarch->cannot_fetch_register = cannot_fetch_register; in set_gdbarch_cannot_fetch_register()
401 …tch_register (struct gdbarch *gdbarch, gdbarch_cannot_fetch_register_ftype *cannot_fetch_register);