You can check it from U-Boot and Linux device tree
For example, you can see the Linux kernel device tree below
Display driver reserve 48 MB and VC8K reserve 24 MB, so Linux cannot see all the memory space in system
Moreover, OP-TEE also reserve some memory
ma35d1.dtsi
Code: Select all
reserved-memory {
#address-cells = <2>;
#size-cells = <2>;
ranges;
display_buf: display_buf@0 {
reg = <0x0 0x8C800000 0x0 0x3000000>; /* 48MiB */
no-map;
};
vc8k_buf: vc8k_buf@0 {
reg = <0x0 0x8B000000 0x0 0x1800000>; /* 24MiB */
no-map;
};
rproc_buf: rproc_buf@0 {
reg = <0x0 0x80020000 0x0 0x60000>; /* 384KB */
no-map;
};
};