my puzzles about Mali-400/Mali-450 Linux kernel device driver r3p2-01rel4 source

Hi, all

When I'm reading mali kernel driver source r3p2-01rel4, I get confused with some code

* Is the UMP an essential component for Mali linux kernel device driver?

* There are macros that set up the Mali GPU resources in mali_utgard.h header file.

   What is, I wonder, these resources setting based on? some specification documents

   or just determined by driver writer?

* arm.c: mali_read_phys(u32 phys_addr) {

                    u32 phys_addr_page = phys_addr & 0xFFFFE000;

                    u32 phys_offset = phys_addr & 0x00001FFF;

                    ...

              }

   Why not phys_addr & 0xFFFFF000 ? Does these code means arm's page size is 8 KB?

   or how does it works exactly?

Best Regards,

Michael