This repository was archived by the owner on Nov 16, 2023. It is now read-only.
This repository was archived by the owner on Nov 16, 2023. It is now read-only.
Avoid needless TLB flushes in SVC handler #5
Description
Prove that SHA code (and the SVC handlers that wrap it) preserve TLB consistency, and thus avoid needless TLB flushes in those SVC handlers.