hal_set_lock(3hal) on Linux

The text fda3b0e938be, as Debian 13 (Trixie), Debian 12 (Bookworm) shipped it. The page shows this text now.

Set or get the HAL lock level

hal_set_lock(3hal) on Linux now