cache: counter_u64_add_protected -> counter_u64_add

Fixes booting on RISC-V where it does happen to not be equivalent.

Reported by:	lwhsu
This commit is contained in:
Mateusz Guzik 2020-01-19 17:05:26 +00:00
parent b46595affc
commit 059cb4843b

View file

@ -412,14 +412,14 @@ static void
cache_numcachehv_inc(void)
{
counter_u64_add_protected(numcachehv, 1);
counter_u64_add(numcachehv, 1);
}
static void
cache_numcachehv_dec(void)
{
counter_u64_add_protected(numcachehv, -1);
counter_u64_add(numcachehv, -1);
}
#else
static void