45c45
< * $FreeBSD: head/sys/arm/include/pmap-v6.h 295696 2016-02-17 13:29:17Z skra $
---
> * $FreeBSD: head/sys/arm/include/pmap-v6.h 295703 2016-02-17 14:39:29Z skra $
223,248d222
<
< // ----------------- TO BE DELETED ---------------------------------------------
< #ifdef _KERNEL
<
< /*
< * sys/arm/arm/elf_trampoline.c
< * sys/arm/arm/genassym.c
< * sys/arm/arm/machdep.c
< * sys/arm/arm/mp_machdep.c
< * sys/arm/arm/locore.S
< * sys/arm/arm/pmap.c
< * sys/arm/arm/swtch.S
< * sys/arm/at91/at91_machdep.c
< * sys/arm/cavium/cns11xx/econa_machdep.c
< * sys/arm/s3c2xx0/s3c24x0_machdep.c
< * sys/arm/xscale/ixp425/avila_machdep.c
< * sys/arm/xscale/i8134x/crb_machdep.c
< * sys/arm/xscale/i80321/ep80219_machdep.c
< * sys/arm/xscale/i80321/iq31244_machdep.c
< * sys/arm/xscale/pxa/pxa_machdep.c
< */
< #define PMAP_DOMAIN_KERNEL 0 /* The kernel uses domain #0 */
<
< #endif /* _KERNEL */
< // -----------------------------------------------------------------------------
<