added CTX_USER2KERNEL() and CTX_KERNEL2USER() macros to transform ctx