Re: Add os_page_num to pg_buffercache

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? 

Kind regards,

Mircea Cadariu

[1] https://www.postgresql.org/message-id/flat/CAHg%2BQDcejeLx7WunFT3DX6XKh1KshvGKa8F5au8xVhqVvvQPRw%40mail.gmail.com