2138 	uint32_t len32;  in tpmrng_seed_random()  local
2164 	len32 = (uint32_t)len;  in tpmrng_seed_random()
2165 	buflen = len32 + 14;  in tpmrng_seed_random()
2175 	len32 = htonl(len32);  in tpmrng_seed_random()
2176 	bcopy(&len32, cmdbuf + 10, sizeof (uint32_t));  in tpmrng_seed_random()
2179 	len32 = ntohl(len32);  in tpmrng_seed_random()
2181 	bcopy(buf,  cmdbuf + 14, len32);  in tpmrng_seed_random()
2210 	uint32_t len32 = (uint32_t)len;  in tpmrng_generate_random()  local
2211 	uint32_t buflen = len32 + sizeof (hdr);  in tpmrng_generate_random()
2231 	len32 = htonl(len32);  in tpmrng_generate_random()
2232 	bcopy(&len32, cmdbuf + 10, sizeof (uint32_t));  in tpmrng_generate_random()
2245 	len32 = load32(cmdbuf, 10);  in tpmrng_generate_random()
2248 	bcopy(cmdbuf + 14, buf, len32);  in tpmrng_generate_random()