Home
last modified time | relevance | path

Searched refs:BIOS_VADDRTOPADDR (Results 1 – 4 of 4) sorted by relevance

/f-stack/freebsd/amd64/amd64/
H A Dbios.c91 return((u_int32_t)(uintptr_t)BIOS_VADDRTOPADDR(sp)); in bios_sigsearch()
/f-stack/freebsd/amd64/include/pc/
H A Dbios.h101 #define BIOS_VADDRTOPADDR(x) ((x) - KERNBASE) macro
/f-stack/freebsd/i386/include/pc/
H A Dbios.h271 #define BIOS_VADDRTOPADDR(x) ((x) - PMAP_MAP_LOW) macro
/f-stack/freebsd/i386/i386/
H A Dbios.c229 return((u_int32_t)BIOS_VADDRTOPADDR(sp)); in bios_sigsearch()