get_n_pinned_pages

Gets the number of pinned pages in this.

See [[email protected]_page_pinned].

Parameters:

Returns: