Rev 1104 | Rev 1658 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1104 | Rev 1196 | ||
---|---|---|---|
Line 75... | Line 75... | ||
75 | 75 | ||
76 | printf("Thread #%d (cpu%d): Deallocating ... \n", THREAD->tid, CPU->id); |
76 | printf("Thread #%d (cpu%d): Deallocating ... \n", THREAD->tid, CPU->id); |
77 | for (i = 0; i < allocated; i++) { |
77 | for (i = 0; i < allocated; i++) { |
78 | for (k = 0; k <= ((FRAME_SIZE << order) - 1); k++) { |
78 | for (k = 0; k <= ((FRAME_SIZE << order) - 1); k++) { |
79 | if (((__u8 *) frames[i])[k] != val) { |
79 | if (((__u8 *) frames[i])[k] != val) { |
80 | printf("Thread #%d (cpu%d): Unexpected data (%d) in block %P offset %X\n", THREAD->tid, CPU->id, ((char *) frames[i])[k], frames[i], k); |
80 | printf("Thread #%d (cpu%d): Unexpected data (%d) in block %P offset %#zX\n", THREAD->tid, CPU->id, ((char *) frames[i])[k], frames[i], k); |
81 | failed(); |
81 | failed(); |
82 | } |
82 | } |
83 | } |
83 | } |
84 | frame_free(ADDR2PFN(KA2PA(frames[i]))); |
84 | frame_free(ADDR2PFN(KA2PA(frames[i]))); |
85 | } |
85 | } |