PGROUNDDOWN        66 vm.c             a = (char*)PGROUNDDOWN((uint)va);
PGROUNDDOWN        67 vm.c             last = (char*)PGROUNDDOWN(((uint)va) + size - 1);
PGROUNDDOWN       373 vm.c               va0 = (uint)PGROUNDDOWN(va);