Commit 77f0ee61 authored by horstmann@lisha.ufsc.br's avatar horstmann@lisha.ufsc.br Committed by Leonardo Passig Horstmann
Browse files

Fixing ARMv8 MMU PD and PT masks

Adjusting the mask to emcompass the high bits.
parent 72f01393
......@@ -74,9 +74,9 @@ public:
IO = (nG | RW_USR | DEV | PTE), // Device Memory = Shareable, RWX, SYS
DMA = (nG | RO_SYS | DEV | PTE), // Device Memory no cacheable / Old Peripheral = Shareable, RWX, B ?
PT_MASK = (1 << 14) - 1,
PT_MASK = ((PAGE_SIZE - 1) | (0xfUL << 52)),
PD_FLAGS = (PAGE_DESCRIPTOR | XN | EL1_XN),
PD_MASK = (1 << 14) -1
PD_MASK = ((PAGE_SIZE - 1) | (0xfUL << 52))
};
public:
Page_Flags() {}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment