PatchworkOS  966e257
A non-POSIX operating system.
Loading...
Searching...
No Matches
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: