diff options
| author | Jeff Dike <jdike@addtoit.com> | 2007-05-06 17:51:42 -0400 |
|---|---|---|
| committer | Linus Torvalds <torvalds@woody.linux-foundation.org> | 2007-05-07 15:13:03 -0400 |
| commit | a263672424e591067e42e1d8371e56927fe73af8 (patch) | |
| tree | 2e0c08f4bd1c1076565dafac07d5281cec80340b | |
| parent | dc764e5087bceeb26714bb7975b711062b39d804 (diff) | |
uml: remove debugging remnants
I accidentally left the remnants of some debugging in an earlier patch.
Signed-off-by: Jeff Dike <jdike@linux.intel.com>
Cc: Paolo 'Blaisorblade' Giarrusso <blaisorblade@yahoo.it>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
| -rw-r--r-- | arch/um/kernel/tlb.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/arch/um/kernel/tlb.c b/arch/um/kernel/tlb.c index 153dec13cf97..e201ccf0ec89 100644 --- a/arch/um/kernel/tlb.c +++ b/arch/um/kernel/tlb.c | |||
| @@ -235,9 +235,7 @@ void fix_range_common(struct mm_struct *mm, unsigned long start_addr, | |||
| 235 | unsigned long addr = start_addr, next; | 235 | unsigned long addr = start_addr, next; |
| 236 | int ret = 0, last_op = ARRAY_SIZE(ops) - 1, op_index = -1; | 236 | int ret = 0, last_op = ARRAY_SIZE(ops) - 1, op_index = -1; |
| 237 | void *flush = NULL; | 237 | void *flush = NULL; |
| 238 | unsigned long long start_time, end_time; | ||
| 239 | 238 | ||
| 240 | start_time = os_nsecs(); | ||
| 241 | ops[0].type = NONE; | 239 | ops[0].type = NONE; |
| 242 | pgd = pgd_offset(mm, addr); | 240 | pgd = pgd_offset(mm, addr); |
| 243 | do { | 241 | do { |
| @@ -254,7 +252,6 @@ void fix_range_common(struct mm_struct *mm, unsigned long start_addr, | |||
| 254 | &op_index, force, mmu, &flush, | 252 | &op_index, force, mmu, &flush, |
| 255 | do_ops); | 253 | do_ops); |
| 256 | } while (pgd++, addr = next, ((addr != end_addr) && !ret)); | 254 | } while (pgd++, addr = next, ((addr != end_addr) && !ret)); |
| 257 | end_time = os_nsecs(); | ||
| 258 | log_info("total flush time - %Ld nsecs\n", end_time - start_time); | 255 | log_info("total flush time - %Ld nsecs\n", end_time - start_time); |
| 259 | 256 | ||
| 260 | if(!ret) | 257 | if(!ret) |
