use CTX_USER2KERNEL() macro to transform ctx from user into kernel type
drwxr-xr-x - util-vserver