-/* Copyright (C) 1992-2013 Free Software Foundation, Inc.
+/* Copyright (C) 1992-2015 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)
{