Re: [PATCH 05/14] kernel-doc: public/features.h

2020-08-17 Thread Stefano Stabellini
On Mon, 17 Aug 2020, Jan Beulich wrote: > On 07.08.2020 23:52, Stefano Stabellini wrote: > > On Fri, 7 Aug 2020, Jan Beulich wrote: > >> On 07.08.2020 01:49, Stefano Stabellini wrote: > >>> @@ -41,19 +41,25 @@ > >>> * XENFEAT_dom0 MUST be set if the guest is to be booted as dom0, > >>> */ > >>>

Re: [PATCH 05/14] kernel-doc: public/features.h

2020-08-17 Thread Jan Beulich
On 07.08.2020 23:52, Stefano Stabellini wrote: > On Fri, 7 Aug 2020, Jan Beulich wrote: >> On 07.08.2020 01:49, Stefano Stabellini wrote: >>> @@ -41,19 +41,25 @@ >>> * XENFEAT_dom0 MUST be set if the guest is to be booted as dom0, >>> */ >>> >>> -/* >>> - * If set, the guest does not need to

Re: [PATCH 05/14] kernel-doc: public/features.h

2020-08-07 Thread Stefano Stabellini
On Fri, 7 Aug 2020, Jan Beulich wrote: > On 07.08.2020 01:49, Stefano Stabellini wrote: > > @@ -41,19 +41,25 @@ > > * XENFEAT_dom0 MUST be set if the guest is to be booted as dom0, > > */ > > > > -/* > > - * If set, the guest does not need to write-protect its pagetables, and can > > - * upda

Re: [PATCH 05/14] kernel-doc: public/features.h

2020-08-07 Thread Jan Beulich
On 07.08.2020 01:49, Stefano Stabellini wrote: > @@ -41,19 +41,25 @@ > * XENFEAT_dom0 MUST be set if the guest is to be booted as dom0, > */ > > -/* > - * If set, the guest does not need to write-protect its pagetables, and can > - * update them via direct writes. > +/** > + * DOC: XENFEAT_wr

[PATCH 05/14] kernel-doc: public/features.h

2020-08-06 Thread Stefano Stabellini
From: Stefano Stabellini Convert in-code comments to kernel-doc format wherever possible. Signed-off-by: Stefano Stabellini --- xen/include/public/features.h | 78 ++- 1 file changed, 59 insertions(+), 19 deletions(-) diff --git a/xen/include/public/features.h