A simpler and more robust approach would be to add a system call to flush a memory range. The kernel can then do all the locking, without the risk that migratio

A simpler and more robust approach would be to add a system call to flush a memory range. The kernel can then do all the locking, without the risk that migration to the other core gets indefinitely blocked by user space code.