| 1 | /* @title: Demand Page */ |
|---|---|
| 2 | #pragma once |
| 3 | #include <types/types.h> |
| 4 | enum demand_page_flags : page_flags_t { |
| 5 | /* We purposely leave zero unused to make |
| 6 | * sure that this was intentionally a demand |
| 7 | * page and not something odd happening */ |
| 8 | DEMAND_PAGE_FLAG_NONE = 1, |
| 9 | DEMAND_PAGE_FLAG_ZERO_MEMORY = 2, |
| 10 | DEMAND_PAGE_FLAG_WRITABLE = 1 << 3, |
| 11 | DEMAND_PAGE_FLAG_XD = 1 << 4, |
| 12 | }; |
| 13 |