8 commits

Author	SHA1	Message	Date
daan	83ffd92b2b	merge from dev	2021-11-13 15:16:23 -08:00
daan	09e59e0610	use size_t instead of uintptr_t where appropiate	2021-11-13 15:13:16 -08:00
Daan Leijen	10ce8839fa	merge from dev	2021-04-28 13:23:46 -07:00
Jim Huang	5940d3bcce	Bump copyright date ... Each source file has been changed according to relevant Git activities.	2021-04-24 16:35:11 +00:00
daan	fa01875eb2	merge from dev (with is_pinned/is_large separation)	2020-09-08 17:54:58 -07:00
daan	14b8d27386	track pinned memory separately from large os pages	2020-09-08 16:46:03 -07:00
daan	a948724340	merge from dev (bitmap split)	2020-09-08 10:33:30 -07:00
daan	c86459afef	split bitmap code into separate header and source file	2020-09-08 10:14:13 -07:00