src1
uint64_t src1, src2, dst, rflags;
error = memread(vcpu, gpa, &src1, size, arg);
src1 = (src1 >> start);
src1 = src1 & ((1ull << len) - 1);
dst = src1;
bitmap_or(unsigned long *dst, const unsigned long *src1,
dst[i] = src1[i] | src2[i];
bitmap_and(unsigned long *dst, const unsigned long *src1,
dst[i] = src1[i] & src2[i];
bitmap_andnot(unsigned long *dst, const unsigned long *src1,
dst[i] = src1[i] & ~src2[i];
bitmap_xor(unsigned long *dst, const unsigned long *src1,
dst[i] = src1[i] ^ src2[i];
bus_addr_t dst2, bus_addr_t src1, bus_addr_t src2,
KASSERT(((src1 | src2 | dst1 | dst2) & PAGE_MASK) == 0,
src1_len = (src2 != src1 + PAGE_SIZE) ? PAGE_SIZE : 2 * PAGE_SIZE;
desc->src_dmamap, src1, src1_len, 0, &seg, &nseg);
bus_addr_t dst1, bus_addr_t dst2, bus_addr_t src1, bus_addr_t src2,
unsigned char *src1 = (unsigned char *)src;
dst1[x] = src1[x];
bit32 *src1;
src1 = (bit32 *)src;
val = BIT32_TO_LEBIT32(src1[i]);