Man pages matching name ps_boot in section 3:

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