Symbol: IODA_TVE_SELECT
sys/arch/powerpc64/dev/phb.c
204
IODA_TVE_SELECT, physmax);
sys/arch/powerpc64/dev/phb.c
792
map->dm_segs[seg].ds_addr |= IODA_TVE_SELECT;
sys/arch/powerpc64/dev/phb.c
816
map->dm_segs[seg].ds_addr |= IODA_TVE_SELECT;