Increase the max KVA available for general consumption on the Exynos 5.

Submitted by:	Ruslan Bukin <br@bsdpad.com>
This commit is contained in:
Olivier Houchard 2013-08-18 18:08:12 +00:00
parent 465f478c8b
commit 7f144242fc

View File

@ -45,7 +45,7 @@ __FBSDID("$FreeBSD$");
#include <dev/fdt/fdt_common.h>
#define DEVMAP_BOOTSTRAP_MAP_START 0xE0000000
#define DEVMAP_BOOTSTRAP_MAP_START 0xF0000000
extern int unmapped_buf_allowed;
@ -83,7 +83,7 @@ platform_devmap_init(void)
int i;
i = 0;
fdt_devmap[i].pd_va = 0xe2C00000;
fdt_devmap[i].pd_va = 0xf2C00000;
fdt_devmap[i].pd_pa = 0x12C00000;
fdt_devmap[i].pd_size = 0x100000;
fdt_devmap[i].pd_prot = VM_PROT_READ | VM_PROT_WRITE;