Home | History | Annotate | Download | only in pbsdboot

Lines Matching defs:vtophysaddr

76 		argv[i] = vtophysaddr(argv[i]);
79 	map->arg1 = vtophysaddr((void *)argv);
80 	map->arg2 = vtophysaddr((void *)bi);
84 		debug_printf(TEXT("arg, vtophysaddr() failed\n"));
86 			   TEXT("arg, vtophysaddr() failed\n"));
91 		if ((p = vtophysaddr(p)) == NULL) {
92 			debug_printf(TEXT("vtophysaddr() failed, page %d (addr=0x%x) \n"),
95 				   TEXT("vtophysaddr() failed, page %d (addr=0x%x) \n"),
103 		if ((p = vtophysaddr((void *)map->leaf[i])) == NULL) {
104 			debug_printf(TEXT("vtophysaddr() failed, leaf %d (addr=0x%x) \n"),
107 				   TEXT("vtophysaddr() failed, leaf %d (addr=0x%x) \n"),
117 	return ((*system_info.si_boot)(vtophysaddr((void *)map)));
181 vtophysaddr(void *page)
400 		paddr = vtophysaddr(page);