Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[CHERI] Relax an overly strict assertion in cheri_tag_set_many
This is currently called by DCZVA with all zero tag bits and was causing assertions while running cheribsdtest in Jenkins. The TLBENTRYCAP_FLAG_TRAP prevents writing non-zero tag bits, but the assertion was triggering for any value of tags, so relax it to actually model the required condition.
- Loading branch information