HomeSort by: relevance | last modified time | path
    Searched refs:vtophysaddr (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/arch/hpcmips/stand/pbsdboot/
mips.c 73 if (!(phys_mem = (unsigned long)vtophysaddr(mem))) {
vmem.c 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")
181 vtophysaddr(void *page) function in typeref:typename:void *
    [all...]
pbsdboot.h 134 void *vtophysaddr(void *page);

Completed in 13 milliseconds