menu_request_by_name(3menu) on Linux

The text 1f6c4c41bf1e, as Debian 6.0 (Squeeze), Debian 5.0 (Lenny) shipped it.

handle printable menu request names

menu_request_by_name(3menu) on Linux now