Home
last modified time | relevance | path

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

/freebsd/sys/amd64/amd64/
H A Dbios.c89 return((u_int32_t)(uintptr_t)BIOS_VADDRTOPADDR(sp)); in bios_sigsearch()
/freebsd/sys/amd64/include/pc/
H A Dbios.h67 #define BIOS_VADDRTOPADDR(x) ((x) - KERNBASE) macro
/freebsd/sys/i386/include/pc/
H A Dbios.h237 #define BIOS_VADDRTOPADDR(x) ((x) - PMAP_MAP_LOW) macro
/freebsd/sys/i386/i386/
H A Dbios.c227 return((u_int32_t)BIOS_VADDRTOPADDR(sp)); in bios_sigsearch()