KMSAN_TYPE_POOL
kmsan_orig((void *)uaddr, USPACE, KMSAN_TYPE_POOL, __RET_ADDR);
case KMSAN_TYPE_POOL:
KMSAN_TYPE_POOL, __RET_ADDR);
kmsan_orig(p, pp->pr_size, KMSAN_TYPE_POOL, __RET_ADDR);