Searched defs:ptep (Results 1 - 6 of 6) sorted by relevance
/illumos-gate/usr/src/uts/i86pc/vm/ |
H A D | kboot_mmu.c | 160 x86pte_t *ptep; local 186 ptep = find_pte(va, &pte_physaddr, level, 0); 187 if (ptep == NULL) 195 *ptep = pteval; 197 *((x86pte32_t *)ptep) = pteval; 251 x86pte_t *ptep; local 280 ptep = find_pte(probe_va, &pte_physaddr, l, 1); 281 if (ptep == NULL) 284 pte_val = *ptep; 286 pte_val = *((x86pte32_t *)ptep); 365 x86pte_t *ptep; local 413 x86pte_t *ptep; local [all...] |
H A D | htable.c | 1494 x86pte_t *ptep; local 1564 ptep = kbm_remap_window(pfn_to_pa(pfn), 0); 1567 pte = ptep[i]; 1569 pte = ((x86pte32_t *)ptep)[i]; 1575 ptep = kbm_remap_window(pfn_to_pa(pfn), 0); 2071 x86pte_t *ptep; local 2077 ptep = x86pte_access_pagetable(ht, entry); 2078 pte = GET_PTE(ptep); 2098 x86pte_t *ptep; local 2108 ptep 2181 x86pte_t *ptep; local 2241 x86pte_t *ptep; local 2307 x86pte_t *ptep; local [all...] |
/illumos-gate/usr/src/uts/i86xpv/os/ |
H A D | xpv_panic.c | 189 x86pte_t *ptep; local 228 ptep = (x86pte_t *)(ptable_window + 230 pte = GET_PTE(ptep);
|
/illumos-gate/usr/src/uts/i86pc/io/amd_iommu/ |
H A D | amd_iommu_page_tables.c | 1002 uint64_t *ptep = &(pt->pt_pgtblva[index]); local 1008 if (AMD_IOMMU_REG_GET64(ptep, AMD_IOMMU_PTDE_PR) == 1) { 1017 R = AMD_IOMMU_REG_GET64(ptep, AMD_IOMMU_PTDE_IR); 1018 W = AMD_IOMMU_REG_GET64(ptep, AMD_IOMMU_PTDE_IW); 1021 AMD_IOMMU_REG_SET64(ptep, AMD_IOMMU_PTDE_IR, 1); 1025 AMD_IOMMU_REG_SET64(ptep, AMD_IOMMU_PTDE_IW, 1); 1030 ASSERT(AMD_IOMMU_REG_GET64(ptep, AMD_IOMMU_PTDE_ADDR) 1040 AMD_IOMMU_REG_SET64(ptep, AMD_IOMMU_PTDE_IR, 0); 1041 AMD_IOMMU_REG_SET64(ptep, AMD_IOMMU_PTDE_IW, 0); 1043 AMD_IOMMU_REG_SET64(ptep, AMD_IOMMU_PTDE_I 1335 uint64_t *ptep; local [all...] |
/illumos-gate/usr/src/uts/i86pc/dboot/ |
H A D | dboot_startkern.c | 496 x86pte_t *ptep; local 523 ptep = find_pte(va, NULL, level, 0); 531 ptep = ptep; /* shut lint up */ 540 *ptep = pteval; 542 *((x86pte32_t *)ptep) = (x86pte32_t)pteval;
|
/illumos-gate/usr/src/cmd/mdb/intel/modules/mdb_kb/ |
H A D | mdb_kb.c | 744 xkb_get_pte(mmu_info_t *mmu, char *ptep) argument 750 pte = *((uint64_t *)ptep); 753 pte = *((uint32_t *)ptep);
|
Completed in 78 milliseconds