diff options
| author | imp <imp@FreeBSD.org> | 2012-11-07 16:59:12 +0000 |
|---|---|---|
| committer | imp <imp@FreeBSD.org> | 2012-11-07 16:59:12 +0000 |
| commit | 144b70190ee8018085ca83ac2cc7b79d56dda2a6 (patch) | |
| tree | 26fbf731ad5f9abd7e3b98cd75425cd0842f8598 /sys/arm/at91/at91_machdep.c | |
| parent | 90e6035f952b122b3eebd3e757a4e1908a090735 (diff) | |
| download | FreeBSD-src-144b70190ee8018085ca83ac2cc7b79d56dda2a6.zip FreeBSD-src-144b70190ee8018085ca83ac2cc7b79d56dda2a6.tar.gz | |
Minor cosmetic changes to bring atmel's initarm and the default
initarm for FDT closer together. More to follow.
Diffstat (limited to 'sys/arm/at91/at91_machdep.c')
| -rw-r--r-- | sys/arm/at91/at91_machdep.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/sys/arm/at91/at91_machdep.c b/sys/arm/at91/at91_machdep.c index 51e7b81..d16ce19 100644 --- a/sys/arm/at91/at91_machdep.c +++ b/sys/arm/at91/at91_machdep.c @@ -496,9 +496,9 @@ initarm(struct arm_boot_params *abp) } } /* - * Allocate a page for the system page mapped to V0x00000000 - * This page will just contain the system vectors and can be - * shared by all processes. + * Allocate a page for the system page mapped to 0x00000000 + * or 0xffff0000. This page will just contain the system vectors + * and can be shared by all processes. */ valloc_pages(systempage, 1); @@ -565,10 +565,10 @@ initarm(struct arm_boot_params *abp) } pmap_devmap_bootstrap(l1pagetable, at91_devmap); - cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT); + cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL * 2)) | DOMAIN_CLIENT); setttb(kernel_l1pt.pv_pa); cpu_tlb_flushID(); - cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)); + cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL * 2)); at91_soc_id(); |
