-/* Copyright (C) 1992-2013 Free Software Foundation, Inc.
+/* Copyright (C) 1992-2018 Free Software Foundation, Inc.
This file is part of GDB.
static void
target_dcache_cleanup (struct address_space *aspace, void *arg)
{
- dcache_free (arg);
+ dcache_free ((DCACHE *) arg);
}
/* Target dcache is initialized or not. */
int
target_dcache_init_p (void)
{
- DCACHE *dcache = address_space_data (current_program_space->aspace,
- target_dcache_aspace_key);
+ DCACHE *dcache
+ = (DCACHE *) address_space_data (current_program_space->aspace,
+ target_dcache_aspace_key);
return (dcache != NULL);
}
void
target_dcache_invalidate (void)
{
- DCACHE *dcache = address_space_data (current_program_space->aspace,
- target_dcache_aspace_key);
+ DCACHE *dcache
+ = (DCACHE *) address_space_data (current_program_space->aspace,
+ target_dcache_aspace_key);
if (dcache != NULL)
dcache_invalidate (dcache);
DCACHE *
target_dcache_get (void)
{
- DCACHE *dcache = address_space_data (current_program_space->aspace,
- target_dcache_aspace_key);
+ DCACHE *dcache
+ = (DCACHE *) address_space_data (current_program_space->aspace,
+ target_dcache_aspace_key);
return dcache;
}
DCACHE *
target_dcache_get_or_init (void)
{
- DCACHE *dcache = address_space_data (current_program_space->aspace,
- target_dcache_aspace_key);
+ DCACHE *dcache
+ = (DCACHE *) address_space_data (current_program_space->aspace,
+ target_dcache_aspace_key);
if (dcache == NULL)
{
except cleanliness. */
static void
-set_stack_cache (char *args, int from_tty, struct cmd_list_element *c)
+set_stack_cache (const char *args, int from_tty, struct cmd_list_element *c)
{
if (stack_cache_enabled != stack_cache_enabled_1)
target_dcache_invalidate ();
except cleanliness. */
static void
-set_code_cache (char *args, int from_tty, struct cmd_list_element *c)
+set_code_cache (const char *args, int from_tty, struct cmd_list_element *c)
{
if (code_cache_enabled != code_cache_enabled_1)
target_dcache_invalidate ();
return code_cache_enabled;
}
-/* -Wmissing-prototypes */
-extern initialize_file_ftype _initialize_target_dcache;
-
void
_initialize_target_dcache (void)
{