Lines Matching refs:xsm_needed
3522 uint32_t xsm_needed = 0; in do_mmu_update() local
3610 xsm_needed |= XSM_MMU_NORMAL_UPDATE; in do_mmu_update()
3613 xsm_needed |= XSM_MMU_UPDATE_READ; in do_mmu_update()
3615 xsm_needed |= XSM_MMU_UPDATE_WRITE; in do_mmu_update()
3617 if ( xsm_needed != xsm_checked ) in do_mmu_update()
3619 rc = xsm_mmu_update(XSM_TARGET, d, pt_owner, pg_owner, xsm_needed); in do_mmu_update()
3622 xsm_checked = xsm_needed; in do_mmu_update()
3715 xsm_needed |= XSM_MMU_MACHPHYS_UPDATE; in do_mmu_update()
3716 if ( xsm_needed != xsm_checked ) in do_mmu_update()
3718 rc = xsm_mmu_update(XSM_TARGET, d, NULL, pg_owner, xsm_needed); in do_mmu_update()
3721 xsm_checked = xsm_needed; in do_mmu_update()