KMSAN_STATE_INITED
kmsan_mark(frame, sizeof(*frame), KMSAN_STATE_INITED);
kmsan_mark(td->td_frame, sizeof(*td->td_frame), KMSAN_STATE_INITED);
kmsan_mark(frame, sizeof(*frame), KMSAN_STATE_INITED);
kmsan_mark(frame, sizeof(*frame), KMSAN_STATE_INITED);
kmsan_mark(frame, sizeof(*frame), KMSAN_STATE_INITED);
kmsan_mark(frame, sizeof(*frame), KMSAN_STATE_INITED);
kmsan_mark(frame, sizeof(*frame), KMSAN_STATE_INITED);
kmsan_mark(frame, sizeof(*frame), KMSAN_STATE_INITED);
kmsan_mark(fp, sizeof(*fp), KMSAN_STATE_INITED);
kmsan_mark(&val, sizeof(val), KMSAN_STATE_INITED);
kmsan_mark(frame, sizeof(*frame), KMSAN_STATE_INITED);
kmsan_mark((void *)kaddr, size, KMSAN_STATE_INITED);
kmsan_mark((void *)kaddr, size, KMSAN_STATE_INITED);
kmsan_mark(&val, sizeof(val), KMSAN_STATE_INITED);
kmsan_mark(&val, sizeof(val), KMSAN_STATE_INITED);
kmsan_mark(&val, sizeof(val), KMSAN_STATE_INITED);
kmsan_mark(&val, sizeof(val), KMSAN_STATE_INITED);
kmsan_mark(frame, sizeof(*frame), KMSAN_STATE_INITED);
kmsan_mark(frame, sizeof(*frame), KMSAN_STATE_INITED);
kmsan_mark(payload, len, KMSAN_STATE_INITED);
kmsan_mark(tm, sizeof(*tm), KMSAN_STATE_INITED);
kmsan_mark(data, *datasize, KMSAN_STATE_INITED);
kmsan_mark(name, *namesize, KMSAN_STATE_INITED);
kmsan_mark_bio(bp, KMSAN_STATE_INITED);
kmsan_mark(mhdr, sizeof(*mhdr), KMSAN_STATE_INITED);
kmsan_mark_mbuf(m, KMSAN_STATE_INITED);
kmsan_mark(frame, sizeof(*frame), KMSAN_STATE_INITED);
kmsan_mark(tf, sizeof(*tf), KMSAN_STATE_INITED);
kmsan_shadow_fill((uintptr_t)oldvalp, KMSAN_STATE_INITED,
kmsan_shadow_fill((uintptr_t)oldvalp, KMSAN_STATE_INITED,
kmsan_shadow_fill((uintptr_t)ptr, KMSAN_STATE_INITED, \
KMSAN_STATE_INITED, (width)); \
kmsan_shadow_fill((uintptr_t)buf, KMSAN_STATE_INITED, \
KMSAN_STATE_INITED);
kmsan_mark_mbuf(desc->u.md_mbuf, KMSAN_STATE_INITED);
kmsan_shadow_fill((uintptr_t)dst, KMSAN_STATE_INITED, size);
kmsan_shadow_fill((uintptr_t)addr, KMSAN_STATE_INITED, size);
kmsan_shadow_fill((uintptr_t)addr, KMSAN_STATE_INITED, size);
kmsan_shadow_fill((uintptr_t)addr, KMSAN_STATE_INITED, size);
kmsan_shadow_fill((uintptr_t)dst, KMSAN_STATE_INITED, len);
kmsan_shadow_fill((uintptr_t)_dst, KMSAN_STATE_INITED, len);
kmsan_shadow_fill((uintptr_t)kaddr, KMSAN_STATE_INITED, len);
kmsan_shadow_fill((uintptr_t)kaddr, KMSAN_STATE_INITED, _done);
kmsan_shadow_fill((uintptr_t)done, KMSAN_STATE_INITED, sizeof(size_t));
kmsan_shadow_fill((uintptr_t)val, KMSAN_STATE_INITED,
kmsan_shadow_fill((uintptr_t)val, KMSAN_STATE_INITED,
kmsan_shadow_fill((uintptr_t)val, KMSAN_STATE_INITED,
kmsan_mark(framep, sizeof(*framep), KMSAN_STATE_INITED);
kmsan_mark(key, sizeof(key), KMSAN_STATE_INITED);
(aflags & M_ZERO) != 0 ? KMSAN_STATE_INITED : KMSAN_STATE_UNINIT);
KMSAN_STATE_INITED);
kmsan_mark((void *)addr, asize, KMSAN_STATE_INITED);
kmsan_mark(frame, sizeof(*frame), KMSAN_STATE_INITED);
kmsan_mark(&vector, sizeof(vector), KMSAN_STATE_INITED);
kmsan_mark(frame, sizeof(*frame), KMSAN_STATE_INITED);
kmsan_mark(frame, sizeof(*frame), KMSAN_STATE_INITED);