|
@@ -82,8 +82,7 @@ void local_flush_tlb_range(struct vm_area_struct *vma, unsigned long start,
|
|
|
int cpu = smp_processor_id();
|
|
|
|
|
|
if (cpu_context(cpu, mm) != 0) {
|
|
|
- unsigned long flags;
|
|
|
- int size;
|
|
|
+ unsigned long size, flags;
|
|
|
|
|
|
#ifdef DEBUG_TLB
|
|
|
printk("[tlbrange<%lu,0x%08lx,0x%08lx>]",
|
|
@@ -121,8 +120,7 @@ void local_flush_tlb_range(struct vm_area_struct *vma, unsigned long start,
|
|
|
|
|
|
void local_flush_tlb_kernel_range(unsigned long start, unsigned long end)
|
|
|
{
|
|
|
- unsigned long flags;
|
|
|
- int size;
|
|
|
+ unsigned long size, flags;
|
|
|
|
|
|
#ifdef DEBUG_TLB
|
|
|
printk("[tlbrange<%lu,0x%08lx,0x%08lx>]", start, end);
|