kmsan_init_arg
callq _C_LABEL(kmsan_init_arg); \
kmsan_init_arg(sizeof(psize_t) + 4 * sizeof(paddr_t) +
kmsan_init_arg(sizeof(size_t) + sizeof(km_flag_t));
kmsan_init_arg(sizeof(void *) + sizeof(size_t));
kmsan_init_arg(sizeof(void *));
kmsan_init_arg(sizeof(lwp_t *) + sizeof(int));
void kmsan_init_arg(size_t);