Thomas Huth <thuth@xxxxxxxxxx> writes:
> The "tp720" switch once belonged to the ps2esdi driver, but this
> driver has been removed a long time ago in 2008 in the commit
> 2af3e6017e53 ("The ps2esdi driver was marked as BROKEN more than two years ago due to being no longer working for some time.")
> already, so let's remove it from the documentation now, too.
>
> Signed-off-by: Thomas Huth <thuth@xxxxxxxxxx>
> ---
> Documentation/admin-guide/kernel-parameters.txt | 2 --
> 1 file changed, 2 deletions(-)
>
> diff --git a/Documentation/admin-guide/kernel-parameters.txt b/Documentation/admin-guide/kernel-parameters.txt
> index b75852f1a789..89b784ec5ab1 100644
> --- a/Documentation/admin-guide/kernel-parameters.txt
> +++ b/Documentation/admin-guide/kernel-parameters.txt
> @@ -6619,8 +6619,6 @@
> torture.verbose_sleep_duration= [KNL]
> Duration of each verbose-printk() sleep in jiffies.
>
> - tp720= [HW,PS2]
> -
Applied, thanks.
jon
