menu_request_by_name(3menu) on Linux

The text 44d78326cb73, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.

handle printable menu request names

menu_request_by_name(3menu) on Linux now