cache: counter_u64_add_protected -> counter_u64_add
Fixes booting on RISC-V where it does happen to not be equivalent.
Reported by: lwhsu
Description
Description
Details
Details
- Provenance
mjg Authored on - Parents
- rS356882: Add myself as a mentee of bcr
- Branches
- Unknown
- Tags