page_table_page_buffer_t Struct Reference

Buffer of pages used to batch page frees. More...

#include <paging.h>

Collaboration diagram for page_table_page_buffer_t:

Data Fields
pfn_t	pfns [PML_PAGE_BUFFER_SIZE]
uint64_t	amount

Detailed Description

Buffer of pages used to batch page frees.

Definition at line 515 of file paging.h.

Field Documentation

pfns

pfn_t page_table_page_buffer_t::pfns[PML_PAGE_BUFFER_SIZE]

Definition at line 517 of file paging.h.

amount

uint64_t page_table_page_buffer_t::amount

Definition at line 518 of file paging.h.

---

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

• include/kernel/mem/paging.h