kmsan_mark
callq kmsan_mark ; \
kmsan_mark(p, allocsize, KMSAN_STATE_UNINIT);
kmsan_mark((char *)addr - PAGE_SIZE,
kmsan_mark(mh, mh->mh_size, KMSAN_STATE_INITED);
kmsan_mark(v, size, KMSAN_STATE_UNINIT);
kmsan_mark(p, size, KMSAN_STATE_INITED);
kmsan_mark(p, pp->pr_size, KMSAN_STATE_UNINIT);
kmsan_mark(p, pp->pr_size, KMSAN_STATE_INITED);
void kmsan_mark(void *, size_t, uint8_t);
kmsan_mark((void *)kva, size, KMSAN_STATE_UNINIT);