I have a quick question. In man page for /proc/stat this is not clear to me:Is guest and guest_nice time included in user time in /proc/stat?http://man7.org/linux/man-pages/man5/proc.5.htmlin manual there is only a hint about /proc/[pid]/stathttps://lkml.org/lkml/2008/6/23/65here, as far as I understand they are talking about both /proc/stat and /proc/[pid]/statCan someone explain it? And hopefully point to any source of this information?
/proc/stat - is guest counted into user time?
linux;cpu;proc