Searched refs:xsm_needed (Results 1 – 1 of 1) sorted by relevance
3522 uint32_t xsm_needed = 0; in do_mmu_update() local3610 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()[all …]
Completed in 11 milliseconds