Searched defs:pte0 (Results 1 – 2 of 2) sorted by relevance
295 uint32_t pte0 = (MASK32(0, 0) in htab_map_page() local
4948 int *pte0, perpage, npg; in pmap_rmu4m() local7808 int s, pte0, pte, ctx; in pmap_writetext() local