4 commits

Author	SHA1	Message	Date
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