space_pinned_page_t Struct Reference

Pinned page structure. More...

#include <space.h>

Data Fields
map_entry_t	mapEntry
uint64_t	pinCount
	The number of times this page is pinned, will be unpinned when it reaches 0.

Detailed Description

Pinned page structure.

Stored in the pinnedPages map in space_t.

Definition at line 62 of file space.h.

Field Documentation

mapEntry

map_entry_t space_pinned_page_t::mapEntry

Definition at line 64 of file space.h.

Referenced by space_pin_depth_inc().

pinCount

uint64_t space_pinned_page_t::pinCount

The number of times this page is pinned, will be unpinned when it reaches 0.

Definition at line 65 of file space.h.

Referenced by space_pin_depth_dec(), and space_pin_depth_inc().

---

The documentation for this struct was generated from the following file:

• include/kernel/mem/space.h