 wash
|
4175f67b9b
|
sandbox: vm: replace calls to queue_length() with queue_empty()
|
2023-02-02 21:10:37 +00:00 |
|
|
wash
|
3c781a4cb3
|
sandbox: vm: make vm_page queue entry private, owner-defined usage
|
2023-02-02 16:58:24 +00:00 |
|
|
wash
|
ab46b7cd13
|
sandbox: vm: fix bad array index in replenish_free_page_list
|
2023-02-02 16:47:32 +00:00 |
|
|
wash
|
9409ebbb19
|
sandbox: vm: implement page freeing; merge/split bugfix
|
2023-02-01 17:05:14 +00:00 |
|
|
wash
|
af49d47ba8
|
sandbox: vm: add page splitting, merging, and allocation
|
2023-02-01 15:03:42 +00:00 |
|
|
wash
|
4cb30737fb
|
sandbox: vm: remove relative include
|
2023-02-01 14:03:07 +00:00 |
|
|
wash
|
2147837e9e
|
sandbox: vm: encode vm_page zone id within p_flags
|
2023-02-01 12:26:49 +00:00 |
|
|
wash
|
ee08088fcf
|
sandbox: vm: fix convert_region_to_blocks() not creating more than one block of a given size
|
2023-01-31 18:25:32 +00:00 |
|
|
wash
|
324ed2c9d0
|
sandbox: vm: remove vm_ prefix from source files
|
2023-01-31 15:28:46 +00:00 |
|