diff options
| author | Hanjie Wu <hanjiew@andrew.cmu.edu> | 2023-04-24 03:51:54 -0400 |
|---|---|---|
| committer | Hanjie Wu <hanjiew@andrew.cmu.edu> | 2023-04-24 03:55:02 -0400 |
| commit | 6b13d5d9b1ff1cb38bb50e918e51a241a225f8da (patch) | |
| tree | 90e8e5da37402975d769184aeb4b51fa13b610f3 /kern/inc/paging.h | |
| parent | e021b8f12ad129c0bdbda3111bb93a170e21ae41 (diff) | |
timer
Diffstat (limited to 'kern/inc/paging.h')
| -rw-r--r-- | kern/inc/paging.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kern/inc/paging.h b/kern/inc/paging.h index 182f50f..de00981 100644 --- a/kern/inc/paging.h +++ b/kern/inc/paging.h @@ -56,6 +56,7 @@ typedef unsigned int reg_t; /** means a page can only be accessed in ring 0 */ #define PTE_SUPERVISOR 0 #define PTE_PCD 1 +#define PTE_PWT 1 /** means a page's TLB entry should not be flushed on switching cr3 */ #define PTE_G 1 @@ -65,6 +66,8 @@ typedef unsigned int reg_t; #define PTE_RW_SHIFT 1 /** USER/SUPERVISOR bit's position */ #define PTE_US_SHIFT 2 +/** PWT bit's position */ +#define PTE_PWT_SHIFT 3 /** PCD bit's position */ #define PTE_PCD_SHIFT 4 /** G bit's position */ |