kasan_mark
kasan_mark(mh, origsize, size, KASAN_MALLOC_REDZONE);
kasan_mark(addr, mh->mh_size - sizeof(struct malloc_header),
kasan_mark(globals[i].beg, globals[i].size,
kasan_mark(addr, size, roundup(size, KASAN_ALLOCA_SCALE_SIZE),
kasan_mark(p, origsize, size, KASAN_KMEM_REDZONE);
kasan_mark(p, size, size, 0);
kasan_mark(v, pa->pa_pagesz, pa->pa_pagesz, 0);
kasan_mark(p, pp->pr_reqsize, pp->pr_reqsize_with_redzone,
kasan_mark(p, 0, pp->pr_reqsize_with_redzone, KASAN_POOL_FREED);
kasan_mark(pi, sizeof(*pi), sizeof(*pi), 0);
void kasan_mark(const void *, size_t, size_t, uint8_t);
kasan_mark((void *)uaddr, USPACE, USPACE, 0);
kasan_mark((void *)uaddr, USPACE, USPACE, 0);