Man pages matching name ps_set_border_color in section 3:

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