-
This is for tracking what host memory is in the microkernel's capability system. This prevents us from inserting the same memory multiple times into the capability system.
ad373505
This is for tracking what host memory is in the microkernel's capability system. This prevents us from inserting the same memory multiple times into the capability system.