请问jh7110的MMU TLB是否缓存无效PTE？是否支持ASID？

缓存无效PTE的话，标准是允许的，sifive的手册没有明确说明，但是我认为大意是不会的，而且标准也不推荐这样做。但是以防万一的话，OS确实是需要sfence.vma的。现在标准有个Svvptc扩展，有了这个之后就不用担心缓存无效PTE的问题了。如果真的要省略掉那些个sfence.vma的话，在u74上面应该是没问题的，不过我觉得还是正确性比较重要，性能应该不差这几个sfense.vma。