#include <algorithm>
#include "gdbarch.h"
#include "inferior.h"
+#include "progspace.h"
static std::vector<mem_region> user_mem_region_list, target_mem_region_list;
static std::vector<mem_region> *mem_region_list = &target_mem_region_list;
{
require_user_regions (from_tty);
- target_dcache_invalidate ();
+ target_dcache_invalidate (current_program_space->aspace);
if (args == NULL || *args == '\0')
{ /* Enable all mem regions. */
{
require_user_regions (from_tty);
- target_dcache_invalidate ();
+ target_dcache_invalidate (current_program_space->aspace);
if (args == NULL || *args == '\0')
{
{
require_user_regions (from_tty);
- target_dcache_invalidate ();
+ target_dcache_invalidate (current_program_space->aspace);
if (args == NULL || *args == '\0')
{