IO_PGTABLE_QUIRK_ARM_OUTER_WBWA
quirks |= IO_PGTABLE_QUIRK_ARM_OUTER_WBWA;
IO_PGTABLE_QUIRK_ARM_OUTER_WBWA |
if (cfg->quirks & IO_PGTABLE_QUIRK_ARM_OUTER_WBWA)
if (!(cfg->quirks & IO_PGTABLE_QUIRK_ARM_OUTER_WBWA))