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