44 #define CONVERT_PTE(pte)  argument
45 #define PTE_MAKEWRITE_HIGH(pte, ptr) \  argument
51 #define PTE_MAKEVALID_HIGH(pte, ptr) \  argument
68 #define CONVERT_PTE(pte) srl pte, pte, 6  argument
69 #define PTE_MAKEWRITE_HIGH(pte, ptr)  argument
70 #define PTE_MAKEVALID_HIGH(pte, ptr)  argument
168 #define LOAD_PTE(pte, ptr) \  argument
213 #define PTE_PRESENT(pte, ptr, label) \  argument
220 #define PTE_MAKEVALID(pte, ptr) \  argument
227 #define PTE_WRITABLE(pte, ptr, label) \  argument
236 #define PTE_MAKEWRITE(pte, ptr) \  argument