I was confused by why the datasheet reported a different value for the base address of the peripherals than this function returned, so I had to read the implementation, trace that to the dtb source code, and find the appropriate line in the kernel code. Hopefully documenting this will save somebody some time in the future!
I was confused by why the datasheet reported a different value for the base address of the peripherals than this function returned, so I had to read the implementation, trace that to the dtb source code, and find the appropriate line in the kernel code. Hopefully documenting this will save somebody some time in the future!