memory@00000000 {
device_type = "memory";
- linux,usable-memory = <0x100000 0x7ff00000>;
+ linux,usable-memory = <0x000000 0x80000000>;
};
reserved-memory {
memory@00000000 {
device_type = "memory";
- linux,usable-memory = <0x100000 0x3ff00000>;
+ linux,usable-memory = <0x000000 0x40000000>;
};
reserved-memory {
memory@00000000 {
device_type = "memory";
- linux,usable-memory = <0x100000 0x7ff00000>;
+ linux,usable-memory = <0x000000 0x80000000>;
};
reserved-memory {
memory@00000000 {
device_type = "memory";
- linux,usable-memory = <0x100000 0x3ff00000>;
+ linux,usable-memory = <0x000000 0x40000000>;
};
memory@00000000 {
device_type = "memory";
- linux,usable-memory = <0x100000 0x7ff00000>;
+ linux,usable-memory = <0x000000 0x80000000>;
};
reserved-memory {
memory@00000000 {
device_type = "memory";
- linux,usable-memory = <0x100000 0x7ff00000>;
+ linux,usable-memory = <0x000000 0x80000000>;
};
reserved-memory {
memory@00000000 {
device_type = "memory";
- linux,usable-memory = <0x0 0x100000 0x0 0x7ff00000>;
+ linux,usable-memory = <0x0 0x000000 0x0 0x80000000>;
};
reserved-memory {
memory@00000000 {
device_type = "memory";
- linux,usable-memory = <0x0 0x100000 0x0 0x3ff00000>;
+ linux,usable-memory = <0x0 0x000000 0x0 0x40000000>;
};
reserved-memory {
memory@00000000 {
device_type = "memory";
- linux,usable-memory = <0x0 0x100000 0x0 0x7ff00000>;
+ linux,usable-memory = <0x0 0x000000 0x0 0x80000000>;
};
reserved-memory {
memory@00000000 {
device_type = "memory";
- linux,usable-memory = <0x0 0x100000 0x0 0x3ff00000>;
+ linux,usable-memory = <0x0 0x000000 0x0 0x40000000>;
};
memory@00000000 {
device_type = "memory";
- linux,usable-memory = <0x0 0x100000 0x0 0x7ff00000>;
+ linux,usable-memory = <0x0 0x000000 0x0 0x80000000>;
};
reserved-memory {
memory@00000000 {
device_type = "memory";
- linux,usable-memory = <0x0 0x100000 0x0 0x7ff00000>;
+ linux,usable-memory = <0x0 0x000000 0x0 0x80000000>;
};
reserved-memory {