  PROCEDURE [INLINE] mmp$aste_pointer_from_pfti
    (    pfti: mmt$page_frame_index;
     VAR aste_p: ^mmt$active_segment_table_entry);

*if $true(mmc$debug_aste_p_from_pfti)
    mmp$aste_pointer (mmv$pft_p^ [pfti].sva.asid, aste_p);
    IF aste_p <> mmv$pft_p^ [pfti].aste_p THEN
      mtp$error_stop ('MM - ERROR IN ASTE_POINTER_FROM_PFTI');
    IFEND;
*else
    aste_p := mmv$pft_p^ [pfti].aste_p;
*ifend

  PROCEND mmp$aste_pointer_from_pfti;

*if $true(mmc$debug_aste_p_from_pfti)
*copyc mmp$aste_pointer
*ifend
