289 static void copyin(char* addr, uint64 val, uint64 size, uint64 bf, uint64 bf_off, uint64 bf_len);
549 				uint64 size, bf, bf_off, bf_len;  in execute_one()  local
550 				uint64 arg = read_const_arg(&input_pos, &size, &bf, &bf_off, &bf_len);  in execute_one()
551 				copyin(addr, arg, size, bf, bf_off, bf_len);  in execute_one()
1005 void copyin(char* addr, uint64 val, uint64 size, uint64 bf, uint64 bf_off, uint64 bf_len)  in copyin()  argument
1007 	if (bf != binary_format_native && (bf_off != 0 || bf_len != 0))  in copyin()
1008 		fail("bitmask for string format %llu/%llu", bf_off, bf_len);  in copyin()
1013 				STORE_BY_BITMASK(uint8, addr, val, bf_off, bf_len);  in copyin()
1016 				STORE_BY_BITMASK(uint16, addr, val, bf_off, bf_len);  in copyin()
1019 				STORE_BY_BITMASK(uint32, addr, val, bf_off, bf_len);  in copyin()
1022 				STORE_BY_BITMASK(uint64, addr, val, bf_off, bf_len);  in copyin()
1076 		uint64 size, bf, bf_off, bf_len;  in read_arg()  local
1077 		uint64 val = read_const_arg(input_posp, &size, &bf, &bf_off, &bf_len);  in read_arg()
1080 		if (bf_off != 0 || bf_len != 0)  in read_arg()
1081 			fail("bad argument bitfield %llu/%llu", bf_off, bf_len);  in read_arg()