Move the get_user_ctx_* helpers to ros/ (XCC)