maxv 3649cd099c Switch to the new PTE naming.		2019-10-04 12:17:05 +00:00
..
x86	Switch to the new PTE naming.	2019-10-04 12:17:05 +00:00
Makefile	…
files.nvmm	Move NVMM in the "any" class, so that it can be enabled in GENERIC. Add	2019-03-28 19:00:40 +00:00
nvmm.c	Localify two functions that are no longer used outside. Also return the	2019-07-06 05:13:10 +00:00
nvmm.h	Rework the machine configuration interface.	2019-05-11 07:31:56 +00:00
nvmm_internal.h	Localify two functions that are no longer used outside. Also return the	2019-07-06 05:13:10 +00:00
nvmm_ioctl.h	Use the comm page to inject events, rather than ioctls, and commit them in	2019-05-01 09:20:21 +00:00