Lines Matching defs:pte
131 static void agp_i810_write_gtt(device_t dev, u_int index, uint32_t pte);
132 static void agp_i915_write_gtt(device_t dev, u_int index, uint32_t pte);
133 static void agp_i965_write_gtt(device_t dev, u_int index, uint32_t pte);
134 static void agp_g4x_write_gtt(device_t dev, u_int index, uint32_t pte);
1474 uint32_t pte;
1476 pte = (u_int32_t)physical | I810_PTE_VALID;
1478 pte |= I810_PTE_LOCAL;
1480 pte |= I830_PTE_SYSTEM_CACHED;
1481 agp_i810_write_gtt(dev, index, pte);
1485 agp_i810_write_gtt(device_t dev, u_int index, uint32_t pte)
1490 bus_write_4(sc->sc_res[0], AGP_I810_GTT + index * 4, pte);
1491 CTR2(KTR_AGP_I810, "810_pte %x %x", index, pte);
1498 uint32_t pte;
1500 pte = (u_int32_t)physical | I810_PTE_VALID;
1502 pte |= I830_PTE_SYSTEM_CACHED;
1503 agp_i810_write_gtt(dev, index, pte);
1510 uint32_t pte;
1512 pte = (u_int32_t)physical | I810_PTE_VALID;
1514 pte |= I830_PTE_SYSTEM_CACHED;
1515 pte |= (physical & 0x0000000f00000000ull) >> 28;
1516 agp_i915_write_gtt(dev, index, pte);
1520 agp_i915_write_gtt(device_t dev, u_int index, uint32_t pte)
1525 bus_write_4(sc->sc_res[1], index * 4, pte);
1526 CTR2(KTR_AGP_I810, "915_pte %x %x", index, pte);
1533 uint32_t pte;
1535 pte = (u_int32_t)physical | I810_PTE_VALID;
1537 pte |= I830_PTE_SYSTEM_CACHED;
1538 pte |= (physical & 0x0000000f00000000ull) >> 28;
1539 agp_i965_write_gtt(dev, index, pte);
1543 agp_i965_write_gtt(device_t dev, u_int index, uint32_t pte)
1548 bus_write_4(sc->sc_res[0], index * 4 + (512 * 1024), pte);
1549 CTR2(KTR_AGP_I810, "965_pte %x %x", index, pte);
1556 uint32_t pte;
1558 pte = (u_int32_t)physical | I810_PTE_VALID;
1560 pte |= I830_PTE_SYSTEM_CACHED;
1561 pte |= (physical & 0x0000000f00000000ull) >> 28;
1562 agp_g4x_write_gtt(dev, index, pte);
1566 agp_g4x_write_gtt(device_t dev, u_int index, uint32_t pte)
1571 bus_write_4(sc->sc_res[0], index * 4 + (2 * 1024 * 1024), pte);
1572 CTR2(KTR_AGP_I810, "g4x_pte %x %x", index, pte);
1618 u_int32_t pte;
1621 pte = bus_read_4(sc->sc_res[0], AGP_I810_GTT + index * 4);
1622 return (pte);
1629 u_int32_t pte;
1632 pte = bus_read_4(sc->sc_res[1], index * 4);
1633 return (pte);
1640 u_int32_t pte;
1643 pte = bus_read_4(sc->sc_res[0], index * 4 + (512 * 1024));
1644 return (pte);
1651 u_int32_t pte;
1654 pte = bus_read_4(sc->sc_res[0], index * 4 + (2 * 1024 * 1024));
1655 return (pte);
1662 u_int32_t pte;
1666 pte = sc->match->driver->read_gtt_pte(dev, index);
1667 res = pte & ~PAGE_MASK;
1675 u_int32_t pte;
1679 pte = sc->match->driver->read_gtt_pte(dev, index);
1680 res = (pte & ~PAGE_MASK) | ((pte & 0xf0) << 28);