command line tool vcgencmd seems to be able to query total VRAM,
can we use this on Pi EGL startup to reset the texture pool limit ?

https://github.com/raspberrypi/userland/blob/master/interface/vmcs_host/vcgencmd.h

Shows how much memory is split between the CPU (arm) and GPU.

root@raspberrypi:~# vcgencmd get_mem arm && vcgencmd get_mem gpu
arm=448M
gpu=64M

The ides would be to find the basic split and then possibly set a texture limit from that.