diff options
Diffstat (limited to 'drivers/staging/tidspbridge/pmgr/dmm.c')
-rw-r--r-- | drivers/staging/tidspbridge/pmgr/dmm.c | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/drivers/staging/tidspbridge/pmgr/dmm.c b/drivers/staging/tidspbridge/pmgr/dmm.c index 8685233d762..cece7801d6c 100644 --- a/drivers/staging/tidspbridge/pmgr/dmm.c +++ b/drivers/staging/tidspbridge/pmgr/dmm.c | |||
@@ -123,8 +123,6 @@ int dmm_create(struct dmm_object **dmm_manager, | |||
123 | { | 123 | { |
124 | struct dmm_object *dmm_obj = NULL; | 124 | struct dmm_object *dmm_obj = NULL; |
125 | int status = 0; | 125 | int status = 0; |
126 | DBC_REQUIRE(refs > 0); | ||
127 | DBC_REQUIRE(dmm_manager != NULL); | ||
128 | 126 | ||
129 | *dmm_manager = NULL; | 127 | *dmm_manager = NULL; |
130 | /* create, zero, and tag a cmm mgr object */ | 128 | /* create, zero, and tag a cmm mgr object */ |
@@ -149,7 +147,6 @@ int dmm_destroy(struct dmm_object *dmm_mgr) | |||
149 | struct dmm_object *dmm_obj = (struct dmm_object *)dmm_mgr; | 147 | struct dmm_object *dmm_obj = (struct dmm_object *)dmm_mgr; |
150 | int status = 0; | 148 | int status = 0; |
151 | 149 | ||
152 | DBC_REQUIRE(refs > 0); | ||
153 | if (dmm_mgr) { | 150 | if (dmm_mgr) { |
154 | status = dmm_delete_tables(dmm_obj); | 151 | status = dmm_delete_tables(dmm_obj); |
155 | if (!status) | 152 | if (!status) |
@@ -169,7 +166,6 @@ int dmm_delete_tables(struct dmm_object *dmm_mgr) | |||
169 | { | 166 | { |
170 | int status = 0; | 167 | int status = 0; |
171 | 168 | ||
172 | DBC_REQUIRE(refs > 0); | ||
173 | /* Delete all DMM tables */ | 169 | /* Delete all DMM tables */ |
174 | if (dmm_mgr) | 170 | if (dmm_mgr) |
175 | vfree(virtual_mapping_table); | 171 | vfree(virtual_mapping_table); |
@@ -186,7 +182,6 @@ int dmm_delete_tables(struct dmm_object *dmm_mgr) | |||
186 | */ | 182 | */ |
187 | void dmm_exit(void) | 183 | void dmm_exit(void) |
188 | { | 184 | { |
189 | DBC_REQUIRE(refs > 0); | ||
190 | 185 | ||
191 | refs--; | 186 | refs--; |
192 | } | 187 | } |
@@ -202,8 +197,6 @@ int dmm_get_handle(void *hprocessor, struct dmm_object **dmm_manager) | |||
202 | int status = 0; | 197 | int status = 0; |
203 | struct dev_object *hdev_obj; | 198 | struct dev_object *hdev_obj; |
204 | 199 | ||
205 | DBC_REQUIRE(refs > 0); | ||
206 | DBC_REQUIRE(dmm_manager != NULL); | ||
207 | if (hprocessor != NULL) | 200 | if (hprocessor != NULL) |
208 | status = proc_get_dev_object(hprocessor, &hdev_obj); | 201 | status = proc_get_dev_object(hprocessor, &hdev_obj); |
209 | else | 202 | else |
@@ -224,13 +217,9 @@ bool dmm_init(void) | |||
224 | { | 217 | { |
225 | bool ret = true; | 218 | bool ret = true; |
226 | 219 | ||
227 | DBC_REQUIRE(refs >= 0); | ||
228 | |||
229 | if (ret) | 220 | if (ret) |
230 | refs++; | 221 | refs++; |
231 | 222 | ||
232 | DBC_ENSURE((ret && (refs > 0)) || (!ret && (refs >= 0))); | ||
233 | |||
234 | virtual_mapping_table = NULL; | 223 | virtual_mapping_table = NULL; |
235 | table_size = 0; | 224 | table_size = 0; |
236 | 225 | ||