| changeset 823 | 9a5271881bc0 |
| parent 670 | ddf3e9583f2f |
| child 5547 | f4b087cbb361 |
| 817:cd8b8f500fac | 823:9a5271881bc0 |
|---|---|
59 _region_start = 0; |
59 _region_start = 0; |
60 _region_size = 0; |
60 _region_size = 0; |
61 if (_virtual_space != NULL) { |
61 if (_virtual_space != NULL) { |
62 delete _virtual_space; |
62 delete _virtual_space; |
63 _virtual_space = NULL; |
63 _virtual_space = NULL; |
64 // Release memory reserved in the space. |
|
65 rs.release(); |
|
64 } |
66 } |
65 return false; |
67 return false; |
66 } |
68 } |
67 |
69 |
68 #ifdef ASSERT |
70 #ifdef ASSERT |