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

  /src/sys/arch/ia64/stand/efi/libefi/
efiboot.h 64 typedef unsigned long physaddr_t; typedef in typeref:typename:unsigned long
  /src/sys/arch/ia64/stand/ia64/ski/
libski.h 56 typedef unsigned long physaddr_t; typedef in typeref:typename:unsigned long
  /src/sys/arch/i386/stand/lib/
libi386.h 32 typedef unsigned long physaddr_t; typedef in typeref:typename:unsigned long
38 physaddr_t vtophys(void *);
41 void startprog(physaddr_t, uint32_t, uint32_t *, physaddr_t);
42 void multiboot(physaddr_t, physaddr_t, physaddr_t, uint32_t);
44 int exec_netbsd(const char *, physaddr_t, int, int, void (*)(void));

Completed in 13 milliseconds