pg2k
pg2k(v->t_vm), pg2k(v->t_avm));
pg2k(v->t_rm), pg2k(v->t_arm));
pg2k(v->t_vmshr), pg2k(v->t_avmshr));
pg2k(v->t_rmshr), pg2k(v->t_armshr));
printf("Free Memory:\t%juK", pg2k(v->t_free));