Rev 1705 | Rev 1757 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1705 | Rev 1735 | ||
|---|---|---|---|
| Line 1307... | Line 1307... | ||
| 1307 | return 1; |
1307 | return 1; |
| 1308 | } |
1308 | } |
| 1309 | } |
1309 | } |
| 1310 | } |
1310 | } |
| 1311 | 1311 | ||
| 1312 | panic("Inconsistency detected while adding %d pages of used space at %P.\n", count, page); |
1312 | panic("Inconsistency detected while adding %d pages of used space at %p.\n", count, page); |
| 1313 | } |
1313 | } |
| 1314 | 1314 | ||
| 1315 | /** Mark portion of address space area as unused. |
1315 | /** Mark portion of address space area as unused. |
| 1316 | * |
1316 | * |
| 1317 | * The address space area must be already locked. |
1317 | * The address space area must be already locked. |
| Line 1461... | Line 1461... | ||
| 1461 | return 0; |
1461 | return 0; |
| 1462 | } |
1462 | } |
| 1463 | } |
1463 | } |
| 1464 | 1464 | ||
| 1465 | error: |
1465 | error: |
| 1466 | panic("Inconsistency detected while removing %d pages of used space from %P.\n", count, page); |
1466 | panic("Inconsistency detected while removing %d pages of used space from %p.\n", count, page); |
| 1467 | } |
1467 | } |
| 1468 | 1468 | ||
| 1469 | /** Remove reference to address space area share info. |
1469 | /** Remove reference to address space area share info. |
| 1470 | * |
1470 | * |
| 1471 | * If the reference count drops to 0, the sh_info is deallocated. |
1471 | * If the reference count drops to 0, the sh_info is deallocated. |