Re: [PATCH] Reserve device id for RDMA device

["Michael S. Tsirkin" <mst@redhat.com>]

On Fri, Sep 03, 2021 at 04:03:03PM +0800, Junji Wei wrote:
> Use device ID 42
> 
> Signed-off-by: Junji Wei <weijunji@bytedance.com>

Pls remember you will need a github issue and all that jazz.

> ---
>  content.tex | 2 ++
>  1 file changed, 2 insertions(+)
> 
> diff --git a/content.tex b/content.tex
> index 3aeb4a4..b57c997 100644
> --- a/content.tex
> +++ b/content.tex
> @@ -2878,6 +2878,8 @@ \chapter{Device Types}\label{sec:Device Types}
>  \hline
>  41         &   GPIO device \\
>  \hline
> +42         &   RDMA device \\
> +\hline
>  \end{tabular}
>  
>  Some of the devices above are unspecified by this document,
> -- 
> 2.30.1 (Apple Git-130)