ARM_LPAE_TCR_RGN_WBWA

88

ARM_LPAE_TCR_RGN_WBWA) |

90

ARM_LPAE_TCR_RGN_WBWA) |

1090

vtcr->irgn = ARM_LPAE_TCR_RGN_WBWA;

1091

vtcr->orgn = ARM_LPAE_TCR_RGN_WBWA;

980

tcr->irgn = ARM_LPAE_TCR_RGN_WBWA;

981

tcr->orgn = ARM_LPAE_TCR_RGN_WBWA;

990

tcr->orgn = ARM_LPAE_TCR_RGN_WBWA;