Symbol: kmsan_alloc_page