diff --git a/docs/xml/manual-core.xml b/docs/xml/manual-core.xml index e1f7b03be..f072e4c61 100644 --- a/docs/xml/manual-core.xml +++ b/docs/xml/manual-core.xml @@ -965,28 +965,6 @@ Addrcheck), the following options apply. - - --signal-polltime=<time> - [default=50] - How often to poll for signals (in milliseconds). Only - applies for older kernels that need signal routing. - - - - --lowlat-signals=no - [default] - --lowlat-signals=yes - Improve wake-up latency when a thread receives a signal. - - - - --lowlat-syscalls=no - [default] - --lowlat-syscalls=yes - Improve wake-up latency when a thread's syscall - completes. - -