vputb             774 src/cmd/6l/asm.c 		vputb(vl);			/* va of entry */
vputb             271 src/cmd/ld/lib.h void	vputb(uint64 v);