Lines Matching refs:dvspace
265 unsigned int dvspace = 0;
288 dvspace = xspace; /* Get the space or set default */
291 db_printf("mapping information for %016llX in space %8X:\n", addr, dvspace);
293 pmap = pmapTrans[dvspace].pmapVAddr; /* Find the pmap address */
295 db_printf("The space %X is not assigned to a pmap\n", dvspace); /* Say we are wrong */
342 dvspace = xspace; /* Get the space or set default */
345 pmap = pmapTrans[dvspace].pmapVAddr; /* Find the pmap address */
347 db_printf("The space %X is not assigned to a pmap\n", dvspace); /* Say we are wrong */
587 dvspace = xspace; /* Get the space or set default */
590 pmap = (pmap_t)pmapTrans[dvspace].pmapVAddr; /* Find the pmap address */
592 db_printf("Address space not found: %X\n", dvspace); /* Complain */
604 db_printf("Dumping %016llX (pmap = %08X, space = %X); ", addr, pmap, dvspace);
627 db_printf("Dumping %016llX (pmap = %08X, space = %X); ", addr, pmap, dvspace);