#endif
static inline ALWAYSINLINE xid_t
-vc_ctx_create_v13(xid_t xid)
+vc_ctx_create_v13(xid_t xid, struct vc_ctx_flags *flags)
{
xid_t res = vserver(VCMD_ctx_create_v0, CTX_USER2KERNEL(xid), 0);
+ if (flags) {
+ /* no sane way to report errors here */
+ vc_set_cflags(xid, flags);
+ }
+
return CTX_KERNEL2USER(res);
}