PMAP_CACHE_BITS
switch (pted->pted_va & PMAP_CACHE_BITS) {
(pted->pted_va & PMAP_CACHE_BITS) == cache) {
switch (pted & PMAP_CACHE_BITS) {
switch (pted->pted_va & PMAP_CACHE_BITS) {
(pted->pted_va & PMAP_CACHE_BITS) == cache) {