vmem_update
vmem_update(NULL);
vmem_update(NULL);
extern void vmem_update(void *);
vmem_update(NULL);
(void) timeout(vmem_update, dummy, vmem_update_interval * hz);
extern void vmem_update(void *);