|
@@ -301,8 +301,6 @@ static inline int is_module_addr(void *addr)
|
|
|
#define _REGION3_ENTRY_EMPTY (_REGION_ENTRY_TYPE_R3 | _REGION_ENTRY_INVALID)
|
|
|
|
|
|
#define _REGION3_ENTRY_ORIGIN_LARGE ~0x7fffffffUL /* large page address */
|
|
|
-#define _REGION3_ENTRY_ORIGIN ~0x7ffUL/* region third table origin */
|
|
|
-
|
|
|
#define _REGION3_ENTRY_DIRTY 0x2000 /* SW region dirty bit */
|
|
|
#define _REGION3_ENTRY_YOUNG 0x1000 /* SW region young bit */
|
|
|
#define _REGION3_ENTRY_LARGE 0x0400 /* RTTE-format control, large page */
|
|
@@ -641,7 +639,7 @@ static inline unsigned long pud_pfn(pud_t pud)
|
|
|
{
|
|
|
unsigned long origin_mask;
|
|
|
|
|
|
- origin_mask = _REGION3_ENTRY_ORIGIN;
|
|
|
+ origin_mask = _REGION_ENTRY_ORIGIN;
|
|
|
if (pud_large(pud))
|
|
|
origin_mask = _REGION3_ENTRY_ORIGIN_LARGE;
|
|
|
return (pud_val(pud) & origin_mask) >> PAGE_SHIFT;
|