The text b10cdc25a9ed, as Debian 10 (Buster) shipped it.
Instructions and constants for BrlAPI 's protocol.
brlapi_fd_mutex(3) on Linux now