do not display vmalloc_* as its value is too big and useless