|
|
|
@ -184,7 +184,7 @@ static void overlay_delete(size_t p) { |
|
|
|
|
|
|
|
/**
|
|
|
|
* Mark the given region as updated, i.e. written to the overlay. The |
|
|
|
* mark region may attach to prior marked regions ro be a new, |
|
|
|
* mark region may attach to prior marked regions or be a new, |
|
|
|
* separate region. If attaching, it causes the prior regions to |
|
|
|
* expand and the table adjusted by deleting any regions that become |
|
|
|
* fully contained in other regions. |
|
|
|
|
