ptbl_idx (definition) in projects: freebsd-13-stable

Searched defs:ptbl_idx (Results 1 – 2 of 2) sorted by relevance

/freebsd-13-stable/sys/powerpc/booke/
H D	pmap_32.c	`433 unsigned int ptbl_idx = PTBL_IDX(va); in pte_remove() local 504 unsigned int ptbl_idx = PTBL_IDX(va); in pte_enter() local 585 unsigned int ptbl_idx = PTBL_IDX(va); in pte_find() local`
H D	pmap_64.c	`445 unsigned int ptbl_idx = PTBL_IDX(va); in pte_enter() local`