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 Jan 19 2020, 5:05 PM - Parents
- rGb46595affce8: Add myself as a mentee of bcr
- Branches
- Unknown
- Tags