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
void *	pages [PML_PAGE_BUFFER_SIZE]
uint64_t	pageCount

Detailed Description

Buffer of pages used to batch page frees.

Definition at line 540 of file paging.h.

Field Documentation

pages

void* page_table_page_buffer_t::pages[PML_PAGE_BUFFER_SIZE]

Definition at line 542 of file paging.h.

pageCount

uint64_t page_table_page_buffer_t::pageCount

Definition at line 543 of file paging.h.

---

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

• include/kernel/mem/paging.h