- if (vxi && __vx_flags(vxi->vx_flags, VXF_INFO_INIT, 0)) {
- vxlprintk(VXD_CBIT(cvirt, 2),
- "vx_rmap_tgid: %p/%llx: %d -> %d",
- vxi, vxi->vx_flags, pid,
- (pid == 1)?vxi->vx_initpid:pid,
- file, line);
- if ((pid == 1) && vxi->vx_initpid)
- return vxi->vx_initpid;
- }
- return pid;