TP3 for MMU paging