Rev 3036 | Rev 3424 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3036 | Rev 3127 | ||
|---|---|---|---|
| Line 1027... | Line 1027... | ||
| 1027 | { |
1027 | { |
| 1028 | size_t now; |
1028 | size_t now; |
| 1029 | int rc; |
1029 | int rc; |
| 1030 | 1030 | ||
| 1031 | while (n > 0) { |
1031 | while (n > 0) { |
| - | 1032 | /* Number of bytes until the end of page */ |
|
| 1032 | now = ALIGN_UP(va, PAGE_SIZE) - va; |
1033 | now = ALIGN_DOWN(va, PAGE_SIZE) + PAGE_SIZE - va; |
| 1033 | if (now > n) now = n; |
1034 | if (now > n) now = n; |
| 1034 | 1035 | ||
| 1035 | rc = debug_write_inside_page(va, data, now); |
1036 | rc = debug_write_inside_page(va, data, now); |
| 1036 | if (rc != EOK) return rc; |
1037 | if (rc != EOK) return rc; |
| 1037 | 1038 | ||