Symbol: selinux_xfrm_alloc_user