PageTableEntryFlagsToAttributes
static uint32 PageTableEntryFlagsToAttributes(
*_flags = ARMPagingMethod32Bit::PageTableEntryFlagsToAttributes(entry);
*_flags = ARMPagingMethod32Bit::PageTableEntryFlagsToAttributes(entry);