page_table_page_buffer_t Struct Reference

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

#include <paging.h>

Data Fields
void *	pages [PML_PAGE_BUFFER_SIZE]
uint64_t	pageCount

Detailed Description

Buffer of pages used to batch page frees.

Definition at line 541 of file paging.h.

Field Documentation

pageCount

uint64_t page_table_page_buffer_t::pageCount

Definition at line 544 of file paging.h.

Referenced by page_table_clear().

pages

void* page_table_page_buffer_t::pages[PML_PAGE_BUFFER_SIZE]

Definition at line 543 of file paging.h.

Referenced by page_table_page_buffer_push().

---

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

• include/kernel/mem/paging.h