Convert target dcache to type-safe registry API
authorTom Tromey <tom@tromey.com>
Sun, 21 Apr 2019 15:12:47 +0000 (09:12 -0600)
committerTom Tromey <tom@tromey.com>
Wed, 8 May 2019 22:01:46 +0000 (16:01 -0600)
commit35632941c90f406f69512c9559ae7ba561f7eee8
treecfb2a58c71f2024392f2b1139fd367341f8ae18e
parent3017b94d60f1e8929886be6992547973ad354f4c
Convert target dcache to type-safe registry API

This changes the target dcache to use the type-safe registry API.

gdb/ChangeLog
2019-05-08  Tom Tromey  <tom@tromey.com>

* target-dcache.c (target_dcache_cleanup): Remove.
(target_dcache_aspace_key): Change type.
(target_dcache_init_p, target_dcache_invalidate)
(target_dcache_get, target_dcache_get_or_init)
(_initialize_target_dcache): Update.
* dcache.h (struct dcache_deleter): New.
gdb/ChangeLog
gdb/dcache.h
gdb/target-dcache.c