278  * PHYS_TO_VM_PAGE: find vm_page for a PA.   used by MI code to get vm_pages
282 uvm_phys_to_vm_page(paddr_t pa)  in uvm_phys_to_vm_page()  argument
284 	paddr_t pf = atop(pa);  in uvm_phys_to_vm_page()
307 #define PHYS_TO_VM_PAGE(pa)     uvm_phys_to_vm_page(pa)  argument
330 	paddr_t pa;  in ATF_TC_BODY()  local
344 		pa = (paddr_t) random() % (paddr_t) ctob(VALID_END_PFN_1);  in ATF_TC_BODY()
345 		PHYS_TO_VM_PAGE(pa);  in ATF_TC_BODY()
359 	paddr_t pa;  in ATF_TC_BODY()  local
373 		pa = (paddr_t) random() % (paddr_t) ctob(VALID_END_PFN_1);  in ATF_TC_BODY()
374 		PHYS_TO_VM_PAGE(pa);  in ATF_TC_BODY()
388 	paddr_t pa;  in ATF_TC_BODY()  local
402 		pa = (paddr_t) random() % (paddr_t) ctob(VALID_END_PFN_1);  in ATF_TC_BODY()
403 		PHYS_TO_VM_PAGE(pa);  in ATF_TC_BODY()
417 	paddr_t pa;  in ATF_TC_BODY()  local
431 		pa = (paddr_t) random() % (paddr_t) ctob(VALID_END_PFN_1);  in ATF_TC_BODY()
432 		PHYS_TO_VM_PAGE(pa);  in ATF_TC_BODY()
446 	paddr_t pa;  in ATF_TC_BODY()  local
460 		pa = (paddr_t) random() % (paddr_t) ctob(VALID_END_PFN_1);  in ATF_TC_BODY()
461 		PHYS_TO_VM_PAGE(pa);  in ATF_TC_BODY()
475 	paddr_t pa;  in ATF_TC_BODY()  local
489 		pa = (paddr_t) random() % (paddr_t) ctob(VALID_END_PFN_1);  in ATF_TC_BODY()
490 		PHYS_TO_VM_PAGE(pa);  in ATF_TC_BODY()
504 	paddr_t pa;  in ATF_TC_BODY()  local
518 		pa = (paddr_t) random() % (paddr_t) ctob(VALID_END_PFN_1);  in ATF_TC_BODY()
519 		PHYS_TO_VM_PAGE(pa);  in ATF_TC_BODY()
533 	paddr_t pa = 0;  in ATF_TC_BODY()  local
565 		pa = (paddr_t) random() % (paddr_t) ctob(VALID_END_PFN_2);  in ATF_TC_BODY()
566 		if(pa < ctob(VALID_START_PFN_2))  in ATF_TC_BODY()
567 			pa += ctob(VALID_START_PFN_2);  in ATF_TC_BODY()
568 		PHYS_TO_VM_PAGE(pa);  in ATF_TC_BODY()
582 	paddr_t pa = 0;  in ATF_TC_BODY()  local
614 		pa = (paddr_t) random() % (paddr_t) ctob(VALID_END_PFN_3);  in ATF_TC_BODY()
615 		if(pa < ctob(VALID_START_PFN_3))  in ATF_TC_BODY()
616 			pa += ctob(VALID_START_PFN_3);  in ATF_TC_BODY()
617 		PHYS_TO_VM_PAGE(pa);  in ATF_TC_BODY()
631 	paddr_t pa = 0;  in ATF_TC_BODY()  local
663 		pa = (paddr_t) random() % (paddr_t) ctob(VALID_END_PFN_4);  in ATF_TC_BODY()
664 		if(pa < ctob(VALID_START_PFN_4))  in ATF_TC_BODY()
665 			pa += ctob(VALID_START_PFN_4);  in ATF_TC_BODY()
666 		PHYS_TO_VM_PAGE(pa);  in ATF_TC_BODY()
680 	paddr_t pa = 0;  in ATF_TC_BODY()  local
711 		pa = (paddr_t) random() % (paddr_t) ctob(VALID_END_PFN_5);  in ATF_TC_BODY()
712 		if(pa < ctob(VALID_END_PFN_5))  in ATF_TC_BODY()
713 			pa += ctob(VALID_START_PFN_5);  in ATF_TC_BODY()
714 		PHYS_TO_VM_PAGE(pa);  in ATF_TC_BODY()