/* kern/subr_vmem.c */