ady tracked in kern/162373, the same
patch was submitted there by Mikhail Kupchik way back in November of 2011.
Since you seem to know what you're doing - is the comparison with
`trunc_page(adp->va_window_size)` here the way to go or the alternative
approach with `offset >= adp-&g
and VGLInit() would return -7. (The buffer size
should be printed with LIBVGL_DEBUG _before_ the attempted memory allocation
currently on line 258 of libvgl/main.c, imho).
But, as you say, that doesn't cause the system to reboot, obviously.
Mahm