/* vm_machdep.c */