Man pages matching name ps_add_bookmark in section 3:

PS_add_bookmark.3.en	debian 10 / pslib-dev
PS_add_bookmark.3.en	debian 11 / pslib-dev
PS_add_bookmark.3.en	debian 12 / pslib-dev