PatchworkOS  dbbdc99
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

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: