arm64: Make dpcpu static

We don't use this directly outside this file so it can be static.

Sponsored by:	Arm Ltd
This commit is contained in:
Andrew Turner 2023-08-03 21:32:57 +01:00
parent b306c604df
commit 4350a03fef

View File

@ -147,7 +147,7 @@ static volatile int aps_started;
static volatile int aps_ready;
/* Temporary variables for init_secondary() */
void *dpcpu[MAXCPU - 1];
static void *dpcpu[MAXCPU - 1];
static bool
is_boot_cpu(uint64_t target_cpu)