kmsan_orig
kmsan_orig((void *)uaddr, USPACE, KMSAN_TYPE_POOL, __RET_ADDR);
kmsan_orig(p, allocsize, KMSAN_TYPE_MALLOC, __RET_ADDR);
kmsan_orig(v, size, KMSAN_TYPE_KMEM, __RET_ADDR);
kmsan_orig(object, pc->pc_pool.pr_size,
kmsan_orig(p, pp->pr_size, KMSAN_TYPE_POOL, __RET_ADDR);
void kmsan_orig(void *, size_t, int, uintptr_t);
kmsan_orig((void *)kva, size, KMSAN_TYPE_UVM, __RET_ADDR);