Searched refs:getpte4m (Results 1 – 4 of 4) sorted by relevance
400 pte = getpte4m(va); in kgdb_acc()
433 pte = getpte4m((u_int)vaddrs[i]); in bootstrap4m()451 pte = getpte4m((u_int)vaddrs[i]); in bootstrap4m()
4811 (getpte4m(va) & SRMMU_TETYPE) == SRMMU_TEPTE) in pmap_rmk4m()4989 (getpte4m(va) & SRMMU_TEPTE) == SRMMU_TEPTE) in pmap_rmu4m()7335 pte = getpte4m((vaddr_t) va); in kvm_uncache()7820 pte0 = getpte4m(va); in pmap_writetext()8020 if (((pte = getpte4m(i)) & SRMMU_TETYPE) != SRMMU_TEPTE) in print_fe_map()
412 #define getpte4m(va) lda((va & 0xFFFFF000) | ASI_SRMMUFP_L3, \ macro