Searched refs:tpxd (Results 1 – 1 of 1) sorted by relevance
1645 pxd_t *pxd, *tpxd; in dtExtendPage() local1680 tpxd = &sp->header.self; in dtExtendPage()1681 txaddr = addressPXD(tpxd); in dtExtendPage()1844 tpxd = (pxd_t *) & pp->slot[1]; in dtExtendPage()1845 *tpxd = *pxd; in dtExtendPage()