memory_page_table_context_t Struct Reference

Public Attributes
memory_page_table_t *	page_table
	page table
memory_paging_internal_frame_init_state_t	internal_frame_init_state
	internal frame init state
uint64_t	internal_frames_1_current
	internal frames type 1 current
uint64_t	internal_frames_1_start
	internal frames type 1
uint64_t	internal_frames_1_count
	internal frames type 1 count
uint64_t	internal_frames_2_start
	internal frames type 2
uint64_t	internal_frames_2_count
	internal frames type 2 count
uint64_t	internal_frames_helper_frame
	internal frames helper frame

---

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

• includes/memory/paging.h