microkernel icon indicating copy to clipboard operation
microkernel copied to clipboard

Published 20 hours ago • verified publisher icon nanvix

[kcall] Invalidate Data Caches When Entering and Leaving Kernel Calls

Open ppenna opened this issue 5 years ago • 0 comments

Description

We should invalidate the underlying cache data cache of a core when entering and leaving data caches.

ppenna avatar Oct 12 '19 08:10 ppenna