Re: Add os_page_num to pg_buffercache

Hi,

On Thu, Aug 21, 2025 at 12:08:37PM +0100, Mircea Cadariu wrote:
> Hi,
> 
> A small addendum might make sense for this patch, given a recent change to
> master.
> 
> A CHECK_FOR_INTERRUPTS() call was added in several pg_buffercache functions
> in commit eab9e4e.
> 
> See also the corresponding discussion [1].
> 
> Shall we add it to the function introduced in this patch as well?

Yeah, I think so. Thanks for the ping, done in attached.

Regards,

-- 
Bertrand Drouvot
PostgreSQL Contributors Team
RDS Open Source Databases
Amazon Web Services: https://aws.amazon.com