fault_64.c 16.2 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
/*
 *  linux/arch/x86-64/mm/fault.c
 *
 *  Copyright (C) 1995  Linus Torvalds
 *  Copyright (C) 2001,2002 Andi Kleen, SuSE Labs.
 */

#include <linux/signal.h>
#include <linux/sched.h>
#include <linux/kernel.h>
#include <linux/errno.h>
#include <linux/string.h>
#include <linux/types.h>
#include <linux/ptrace.h>
#include <linux/mman.h>
#include <linux/mm.h>
#include <linux/smp.h>
#include <linux/interrupt.h>
#include <linux/init.h>
#include <linux/tty.h>
#include <linux/vt_kern.h>		/* For unblank_screen() */
#include <linux/compiler.h>
23
#include <linux/vmalloc.h>
L
Linus Torvalds 已提交
24
#include <linux/module.h>
25
#include <linux/kprobes.h>
26
#include <linux/uaccess.h>
27
#include <linux/kdebug.h>
L
Linus Torvalds 已提交
28 29 30 31 32 33 34 35

#include <asm/system.h>
#include <asm/pgalloc.h>
#include <asm/smp.h>
#include <asm/tlbflush.h>
#include <asm/proto.h>
#include <asm-generic/sections.h>

36 37 38 39 40 41 42
/* Page fault error code bits */
#define PF_PROT	(1<<0)		/* or no page found */
#define PF_WRITE	(1<<1)
#define PF_USER	(1<<2)
#define PF_RSVD	(1<<3)
#define PF_INSTR	(1<<4)

43 44
#ifdef CONFIG_KPROBES
static inline int notify_page_fault(struct pt_regs *regs)
45
{
46 47 48 49 50 51 52 53 54
	int ret = 0;

	/* kprobe_running() needs smp_processor_id() */
	if (!user_mode(regs)) {
		preempt_disable();
		if (kprobe_running() && kprobe_fault_handler(regs, 14))
			ret = 1;
		preempt_enable();
	}
55

56
	return ret;
57
}
58 59
#else
static inline int notify_page_fault(struct pt_regs *regs)
60
{
61
	return 0;
62
}
63
#endif
64

L
Linus Torvalds 已提交
65 66 67 68 69 70
/* Sometimes the CPU reports invalid exceptions on prefetch.
   Check that here and ignore.
   Opcode checker based on code by Richard Brunner */
static noinline int is_prefetch(struct pt_regs *regs, unsigned long addr,
				unsigned long error_code)
{ 
71
	unsigned char *instr;
L
Linus Torvalds 已提交
72 73
	int scan_more = 1;
	int prefetch = 0; 
74
	unsigned char *max_instr;
L
Linus Torvalds 已提交
75 76

	/* If it was a exec fault ignore */
77
	if (error_code & PF_INSTR)
L
Linus Torvalds 已提交
78 79
		return 0;
	
80
	instr = (unsigned char __user *)convert_rip_to_linear(current, regs);
81
	max_instr = instr + 15;
L
Linus Torvalds 已提交
82

83
	if (user_mode(regs) && instr >= (unsigned char *)TASK_SIZE)
L
Linus Torvalds 已提交
84 85 86 87 88 89 90
		return 0;

	while (scan_more && instr < max_instr) { 
		unsigned char opcode;
		unsigned char instr_hi;
		unsigned char instr_lo;

91
		if (probe_kernel_address(instr, opcode))
L
Linus Torvalds 已提交
92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114
			break; 

		instr_hi = opcode & 0xf0; 
		instr_lo = opcode & 0x0f; 
		instr++;

		switch (instr_hi) { 
		case 0x20:
		case 0x30:
			/* Values 0x26,0x2E,0x36,0x3E are valid x86
			   prefixes.  In long mode, the CPU will signal
			   invalid opcode if some of these prefixes are
			   present so we will never get here anyway */
			scan_more = ((instr_lo & 7) == 0x6);
			break;
			
		case 0x40:
			/* In AMD64 long mode, 0x40 to 0x4F are valid REX prefixes
			   Need to figure out under what instruction mode the
			   instruction was issued ... */
			/* Could check the LDT for lm, but for now it's good
			   enough to assume that long mode only uses well known
			   segments or kernel. */
115
			scan_more = (!user_mode(regs)) || (regs->cs == __USER_CS);
L
Linus Torvalds 已提交
116 117 118 119 120 121 122 123 124 125 126 127 128
			break;
			
		case 0x60:
			/* 0x64 thru 0x67 are valid prefixes in all modes. */
			scan_more = (instr_lo & 0xC) == 0x4;
			break;		
		case 0xF0:
			/* 0xF0, 0xF2, and 0xF3 are valid prefixes in all modes. */
			scan_more = !instr_lo || (instr_lo>>1) == 1;
			break;			
		case 0x00:
			/* Prefetch instruction is 0x0F0D or 0x0F18 */
			scan_more = 0;
129
			if (probe_kernel_address(instr, opcode))
L
Linus Torvalds 已提交
130 131 132 133 134 135 136 137 138 139 140 141 142 143 144
				break;
			prefetch = (instr_lo == 0xF) &&
				(opcode == 0x0D || opcode == 0x18);
			break;			
		default:
			scan_more = 0;
			break;
		} 
	}
	return prefetch;
}

static int bad_address(void *p) 
{ 
	unsigned long dummy;
145
	return probe_kernel_address((unsigned long *)p, dummy);
L
Linus Torvalds 已提交
146 147 148 149 150 151 152 153 154
} 

void dump_pagetable(unsigned long address)
{
	pgd_t *pgd;
	pud_t *pud;
	pmd_t *pmd;
	pte_t *pte;

155
	pgd = (pgd_t *)read_cr3();
L
Linus Torvalds 已提交
156 157 158 159

	pgd = __va((unsigned long)pgd & PHYSICAL_PAGE_MASK); 
	pgd += pgd_index(address);
	if (bad_address(pgd)) goto bad;
160
	printk("PGD %lx ", pgd_val(*pgd));
L
Linus Torvalds 已提交
161 162
	if (!pgd_present(*pgd)) goto ret; 

163
	pud = pud_offset(pgd, address);
L
Linus Torvalds 已提交
164 165 166 167 168 169 170
	if (bad_address(pud)) goto bad;
	printk("PUD %lx ", pud_val(*pud));
	if (!pud_present(*pud))	goto ret;

	pmd = pmd_offset(pud, address);
	if (bad_address(pmd)) goto bad;
	printk("PMD %lx ", pmd_val(*pmd));
171
	if (!pmd_present(*pmd) || pmd_large(*pmd)) goto ret;
L
Linus Torvalds 已提交
172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199

	pte = pte_offset_kernel(pmd, address);
	if (bad_address(pte)) goto bad;
	printk("PTE %lx", pte_val(*pte)); 
ret:
	printk("\n");
	return;
bad:
	printk("BAD\n");
}

static const char errata93_warning[] = 
KERN_ERR "******* Your BIOS seems to not contain a fix for K8 errata #93\n"
KERN_ERR "******* Working around it, but it may cause SEGVs or burn power.\n"
KERN_ERR "******* Please consider a BIOS update.\n"
KERN_ERR "******* Disabling USB legacy in the BIOS may also help.\n";

/* Workaround for K8 erratum #93 & buggy BIOS.
   BIOS SMM functions are required to use a specific workaround
   to avoid corruption of the 64bit RIP register on C stepping K8. 
   A lot of BIOS that didn't get tested properly miss this. 
   The OS sees this as a page fault with the upper 32bits of RIP cleared.
   Try to work around it here.
   Note we only handle faults in kernel here. */

static int is_errata93(struct pt_regs *regs, unsigned long address) 
{
	static int warned;
200
	if (address != regs->ip)
L
Linus Torvalds 已提交
201 202 203 204 205 206 207 208 209 210
		return 0;
	if ((address >> 32) != 0) 
		return 0;
	address |= 0xffffffffUL << 32;
	if ((address >= (u64)_stext && address <= (u64)_etext) || 
	    (address >= MODULES_VADDR && address <= MODULES_END)) { 
		if (!warned) {
			printk(errata93_warning); 		
			warned = 1;
		}
211
		regs->ip = address;
L
Linus Torvalds 已提交
212 213 214 215 216 217 218 219
		return 1;
	}
	return 0;
} 

static noinline void pgtable_bad(unsigned long address, struct pt_regs *regs,
				 unsigned long error_code)
{
220
	unsigned long flags = oops_begin();
221
	struct task_struct *tsk;
222

L
Linus Torvalds 已提交
223 224 225
	printk(KERN_ALERT "%s: Corrupted page table at address %lx\n",
	       current->comm, address);
	dump_pagetable(address);
226 227 228 229
	tsk = current;
	tsk->thread.cr2 = address;
	tsk->thread.trap_no = 14;
	tsk->thread.error_code = error_code;
230 231 232
	if (__die("Bad pagetable", regs, error_code))
		regs = NULL;
	oops_end(flags, regs, SIGKILL);
L
Linus Torvalds 已提交
233 234 235
}

/*
236
 * Handle a fault on the vmalloc area
237 238
 *
 * This assumes no large pages in there.
L
Linus Torvalds 已提交
239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256
 */
static int vmalloc_fault(unsigned long address)
{
	pgd_t *pgd, *pgd_ref;
	pud_t *pud, *pud_ref;
	pmd_t *pmd, *pmd_ref;
	pte_t *pte, *pte_ref;

	/* Copy kernel mappings over when needed. This can also
	   happen within a race in page table update. In the later
	   case just flush. */

	pgd = pgd_offset(current->mm ?: &init_mm, address);
	pgd_ref = pgd_offset_k(address);
	if (pgd_none(*pgd_ref))
		return -1;
	if (pgd_none(*pgd))
		set_pgd(pgd, *pgd_ref);
257
	else
258
		BUG_ON(pgd_page_vaddr(*pgd) != pgd_page_vaddr(*pgd_ref));
L
Linus Torvalds 已提交
259 260 261 262 263 264 265 266

	/* Below here mismatches are bugs because these lower tables
	   are shared */

	pud = pud_offset(pgd, address);
	pud_ref = pud_offset(pgd_ref, address);
	if (pud_none(*pud_ref))
		return -1;
267
	if (pud_none(*pud) || pud_page_vaddr(*pud) != pud_page_vaddr(*pud_ref))
L
Linus Torvalds 已提交
268 269 270 271 272 273 274 275 276 277 278
		BUG();
	pmd = pmd_offset(pud, address);
	pmd_ref = pmd_offset(pud_ref, address);
	if (pmd_none(*pmd_ref))
		return -1;
	if (pmd_none(*pmd) || pmd_page(*pmd) != pmd_page(*pmd_ref))
		BUG();
	pte_ref = pte_offset_kernel(pmd_ref, address);
	if (!pte_present(*pte_ref))
		return -1;
	pte = pte_offset_kernel(pmd, address);
279 280 281 282
	/* Don't use pte_page here, because the mappings can point
	   outside mem_map, and the NUMA hash lookup cannot handle
	   that. */
	if (!pte_present(*pte) || pte_pfn(*pte) != pte_pfn(*pte_ref))
L
Linus Torvalds 已提交
283 284 285 286
		BUG();
	return 0;
}

287
int show_unhandled_signals = 1;
L
Linus Torvalds 已提交
288 289 290 291 292 293

/*
 * This routine handles page faults.  It determines the address,
 * and the problem, and then passes it off to one of the appropriate
 * routines.
 */
294 295
asmlinkage void __kprobes do_page_fault(struct pt_regs *regs,
					unsigned long error_code)
L
Linus Torvalds 已提交
296 297 298 299 300
{
	struct task_struct *tsk;
	struct mm_struct *mm;
	struct vm_area_struct * vma;
	unsigned long address;
N
Nick Piggin 已提交
301
	int write, fault;
302
	unsigned long flags;
L
Linus Torvalds 已提交
303 304
	siginfo_t info;

P
Peter Zijlstra 已提交
305 306 307 308 309
	/*
	 * We can fault from pretty much anywhere, with unknown IRQ state.
	 */
	trace_hardirqs_fixup();

310 311 312 313
	tsk = current;
	mm = tsk->mm;
	prefetchw(&mm->mmap_sem);

L
Linus Torvalds 已提交
314
	/* get the address */
315
	address = read_cr2();
L
Linus Torvalds 已提交
316 317 318 319 320 321 322 323 324 325 326 327 328 329 330

	info.si_code = SEGV_MAPERR;


	/*
	 * We fault-in kernel-space virtual memory on-demand. The
	 * 'reference' page table is init_mm.pgd.
	 *
	 * NOTE! We MUST NOT take any locks for this case. We may
	 * be in an interrupt or a critical region, and should
	 * only copy the information from the master page table,
	 * nothing more.
	 *
	 * This verifies that the fault happens in kernel space
	 * (error_code & 4) == 0, and that the fault was not a
331
	 * protection error (error_code & 9) == 0.
L
Linus Torvalds 已提交
332
	 */
333
	if (unlikely(address >= TASK_SIZE64)) {
334 335 336 337 338
		/*
		 * Don't check for the module range here: its PML4
		 * is always initialized because it's shared with the main
		 * kernel text. Only vmalloc may need PML4 syncups.
		 */
339
		if (!(error_code & (PF_RSVD|PF_USER|PF_PROT)) &&
340
		      ((address >= VMALLOC_START && address < VMALLOC_END))) {
341 342
			if (vmalloc_fault(address) >= 0)
				return;
L
Linus Torvalds 已提交
343
		}
344
		if (notify_page_fault(regs))
345
			return;
L
Linus Torvalds 已提交
346 347 348 349 350 351 352
		/*
		 * Don't take the mm semaphore here. If we fixup a prefetch
		 * fault we could otherwise deadlock.
		 */
		goto bad_area_nosemaphore;
	}

353
	if (notify_page_fault(regs))
354 355
		return;

356
	if (likely(regs->flags & X86_EFLAGS_IF))
357 358
		local_irq_enable();

359
	if (unlikely(error_code & PF_RSVD))
L
Linus Torvalds 已提交
360 361 362 363 364 365 366 367 368
		pgtable_bad(address, regs, error_code);

	/*
	 * If we're in an interrupt or have no user
	 * context, we must not take the fault..
	 */
	if (unlikely(in_atomic() || !mm))
		goto bad_area_nosemaphore;

369 370 371 372 373 374 375
	/*
	 * User-mode registers count as a user access even for any
	 * potential system fault or CPU buglet.
	 */
	if (user_mode_vm(regs))
		error_code |= PF_USER;

L
Linus Torvalds 已提交
376 377 378
 again:
	/* When running in the kernel we expect faults to occur only to
	 * addresses in user space.  All other faults represent errors in the
S
Simon Arlott 已提交
379
	 * kernel and should generate an OOPS.  Unfortunately, in the case of an
A
Adrian Bunk 已提交
380
	 * erroneous fault occurring in a code path which already holds mmap_sem
L
Linus Torvalds 已提交
381 382 383 384 385 386
	 * we will deadlock attempting to validate the fault against the
	 * address space.  Luckily the kernel only validly references user
	 * space from well defined areas of code, which are listed in the
	 * exceptions table.
	 *
	 * As the vast majority of faults will be valid we will only perform
S
Simon Arlott 已提交
387
	 * the source reference check when there is a possibility of a deadlock.
L
Linus Torvalds 已提交
388 389 390 391 392
	 * Attempt to lock the address space, if we cannot we then validate the
	 * source.  If this is invalid we can skip the address space check,
	 * thus avoiding the deadlock.
	 */
	if (!down_read_trylock(&mm->mmap_sem)) {
393
		if ((error_code & PF_USER) == 0 &&
394
		    !search_exception_tables(regs->ip))
L
Linus Torvalds 已提交
395 396 397 398 399 400 401 402 403 404 405 406
			goto bad_area_nosemaphore;
		down_read(&mm->mmap_sem);
	}

	vma = find_vma(mm, address);
	if (!vma)
		goto bad_area;
	if (likely(vma->vm_start <= address))
		goto good_area;
	if (!(vma->vm_flags & VM_GROWSDOWN))
		goto bad_area;
	if (error_code & 4) {
407 408 409
		/* Allow userspace just enough access below the stack pointer
		 * to let the 'enter' instruction work.
		 */
410
		if (address + 65536 + 32 * sizeof(unsigned long) < regs->sp)
L
Linus Torvalds 已提交
411 412 413 414 415 416 417 418 419 420 421
			goto bad_area;
	}
	if (expand_stack(vma, address))
		goto bad_area;
/*
 * Ok, we have a good vm_area for this memory access, so
 * we can handle it..
 */
good_area:
	info.si_code = SEGV_ACCERR;
	write = 0;
422
	switch (error_code & (PF_PROT|PF_WRITE)) {
L
Linus Torvalds 已提交
423 424
		default:	/* 3: write, present */
			/* fall through */
425
		case PF_WRITE:		/* write, not present */
L
Linus Torvalds 已提交
426 427 428 429
			if (!(vma->vm_flags & VM_WRITE))
				goto bad_area;
			write++;
			break;
430
		case PF_PROT:		/* read, present */
L
Linus Torvalds 已提交
431
			goto bad_area;
432
		case 0:			/* read, not present */
433
			if (!(vma->vm_flags & (VM_READ | VM_EXEC | VM_WRITE)))
L
Linus Torvalds 已提交
434 435 436 437 438 439 440 441
				goto bad_area;
	}

	/*
	 * If for any reason at all we couldn't handle the fault,
	 * make sure we exit gracefully rather than endlessly redo
	 * the fault.
	 */
N
Nick Piggin 已提交
442 443 444 445 446 447 448
	fault = handle_mm_fault(mm, vma, address, write);
	if (unlikely(fault & VM_FAULT_ERROR)) {
		if (fault & VM_FAULT_OOM)
			goto out_of_memory;
		else if (fault & VM_FAULT_SIGBUS)
			goto do_sigbus;
		BUG();
L
Linus Torvalds 已提交
449
	}
N
Nick Piggin 已提交
450 451 452 453
	if (fault & VM_FAULT_MAJOR)
		tsk->maj_flt++;
	else
		tsk->min_flt++;
L
Linus Torvalds 已提交
454 455 456 457 458 459 460 461 462 463 464 465
	up_read(&mm->mmap_sem);
	return;

/*
 * Something tried to access memory that isn't in our memory map..
 * Fix it, but check if it's kernel or user first..
 */
bad_area:
	up_read(&mm->mmap_sem);

bad_area_nosemaphore:
	/* User mode accesses just cause a SIGSEGV */
466
	if (error_code & PF_USER) {
467 468 469 470 471 472

		/*
		 * It's possible to have interrupts off here.
		 */
		local_irq_enable();

L
Linus Torvalds 已提交
473 474 475 476 477 478 479 480 481 482 483 484 485
		if (is_prefetch(regs, address, error_code))
			return;

		/* Work around K8 erratum #100 K8 in compat mode
		   occasionally jumps to illegal addresses >4GB.  We
		   catch this here in the page fault handler because
		   these addresses are not reachable. Just detect this
		   case and return.  Any code segment in LDT is
		   compatibility mode. */
		if ((regs->cs == __USER32_CS || (regs->cs & (1<<2))) &&
		    (address >> 32))
			return;

486 487
		if (show_unhandled_signals && unhandled_signal(tsk, SIGSEGV) &&
		    printk_ratelimit()) {
L
Linus Torvalds 已提交
488
			printk(
489
		       "%s%s[%d]: segfault at %lx ip %lx sp %lx error %lx\n",
L
Linus Torvalds 已提交
490
					tsk->pid > 1 ? KERN_INFO : KERN_EMERG,
491 492
					tsk->comm, tsk->pid, address, regs->ip,
					regs->sp, error_code);
L
Linus Torvalds 已提交
493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509
		}
       
		tsk->thread.cr2 = address;
		/* Kernel addresses are always protection faults */
		tsk->thread.error_code = error_code | (address >= TASK_SIZE);
		tsk->thread.trap_no = 14;
		info.si_signo = SIGSEGV;
		info.si_errno = 0;
		/* info.si_code has been set above */
		info.si_addr = (void __user *)address;
		force_sig_info(SIGSEGV, &info, tsk);
		return;
	}

no_context:
	
	/* Are we prepared to handle this kernel fault?  */
H
Harvey Harrison 已提交
510
	if (fixup_exception(regs)) {
L
Linus Torvalds 已提交
511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528
		return;
	}

	/* 
	 * Hall of shame of CPU/BIOS bugs.
	 */

 	if (is_prefetch(regs, address, error_code))
 		return;

	if (is_errata93(regs, address))
		return; 

/*
 * Oops. The kernel tried to access some bad page. We'll have to
 * terminate things with extreme prejudice.
 */

529
	flags = oops_begin();
L
Linus Torvalds 已提交
530 531 532 533 534 535

	if (address < PAGE_SIZE)
		printk(KERN_ALERT "Unable to handle kernel NULL pointer dereference");
	else
		printk(KERN_ALERT "Unable to handle kernel paging request");
	printk(" at %016lx RIP: \n" KERN_ALERT,address);
536
	printk_address(regs->ip);
L
Linus Torvalds 已提交
537
	dump_pagetable(address);
538 539 540
	tsk->thread.cr2 = address;
	tsk->thread.trap_no = 14;
	tsk->thread.error_code = error_code;
541 542
	if (__die("Oops", regs, error_code))
		regs = NULL;
L
Linus Torvalds 已提交
543 544
	/* Executive summary in case the body of the oops scrolled away */
	printk(KERN_EMERG "CR2: %016lx\n", address);
545
	oops_end(flags, regs, SIGKILL);
L
Linus Torvalds 已提交
546 547 548 549 550 551 552

/*
 * We ran out of memory, or some other thing happened to us that made
 * us unable to handle the page fault gracefully.
 */
out_of_memory:
	up_read(&mm->mmap_sem);
553
	if (is_global_init(current)) {
L
Linus Torvalds 已提交
554 555 556 557 558
		yield();
		goto again;
	}
	printk("VM: killing process %s\n", tsk->comm);
	if (error_code & 4)
559
		do_group_exit(SIGKILL);
L
Linus Torvalds 已提交
560 561 562 563 564 565
	goto no_context;

do_sigbus:
	up_read(&mm->mmap_sem);

	/* Kernel mode? Handle exceptions or die */
566
	if (!(error_code & PF_USER))
L
Linus Torvalds 已提交
567 568 569 570 571 572 573 574 575 576 577 578
		goto no_context;

	tsk->thread.cr2 = address;
	tsk->thread.error_code = error_code;
	tsk->thread.trap_no = 14;
	info.si_signo = SIGBUS;
	info.si_errno = 0;
	info.si_code = BUS_ADRERR;
	info.si_addr = (void __user *)address;
	force_sig_info(SIGBUS, &info, tsk);
	return;
}
579

580
DEFINE_SPINLOCK(pgd_lock);
581
LIST_HEAD(pgd_list);
582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600

void vmalloc_sync_all(void)
{
	/* Note that races in the updates of insync and start aren't 
	   problematic:
	   insync can only get set bits added, and updates to start are only
	   improving performance (without affecting correctness if undone). */
	static DECLARE_BITMAP(insync, PTRS_PER_PGD);
	static unsigned long start = VMALLOC_START & PGDIR_MASK;
	unsigned long address;

	for (address = start; address <= VMALLOC_END; address += PGDIR_SIZE) {
		if (!test_bit(pgd_index(address), insync)) {
			const pgd_t *pgd_ref = pgd_offset_k(address);
			struct page *page;

			if (pgd_none(*pgd_ref))
				continue;
			spin_lock(&pgd_lock);
601
			list_for_each_entry(page, &pgd_list, lru) {
602 603 604 605 606
				pgd_t *pgd;
				pgd = (pgd_t *)page_address(page) + pgd_index(address);
				if (pgd_none(*pgd))
					set_pgd(pgd, *pgd_ref);
				else
607
					BUG_ON(pgd_page_vaddr(*pgd) != pgd_page_vaddr(*pgd_ref));
608 609 610 611 612 613 614 615 616 617 618 619
			}
			spin_unlock(&pgd_lock);
			set_bit(pgd_index(address), insync);
		}
		if (address == start)
			start = address + PGDIR_SIZE;
	}
	/* Check that there is no need to do the same for the modules area. */
	BUILD_BUG_ON(!(MODULES_VADDR > __START_KERNEL));
	BUILD_BUG_ON(!(((MODULES_END - 1) & PGDIR_MASK) == 
				(__START_KERNEL & PGDIR_MASK)));
}