Home
last modified time | relevance | path

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

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