BIOS_PADDRTOVADDR
sp = (char *)BIOS_PADDRTOVADDR(start);
sp = (char *)BIOS_PADDRTOVADDR(BIOS_START);
end = (u_char *)BIOS_PADDRTOVADDR(BIOS_START + BIOS_SIZE);
return (readl(BIOS_PADDRTOVADDR(intno * 4)));
writel(BIOS_PADDRTOVADDR(intno * 4), saddr);
addr = BIOS_PADDRTOVADDR(offset);
buf[0] = readb(BIOS_PADDRTOVADDR(0x44a)); /* COLS */
buf[1] = readb(BIOS_PADDRTOVADDR(0x484)); /* ROWS */
buf[2] = readb(BIOS_PADDRTOVADDR(0x485)); /* POINTS */
buf[3] = readb(BIOS_PADDRTOVADDR(0x44c));
buf[4] = readb(BIOS_PADDRTOVADDR(0x44d));
writeb(BIOS_PADDRTOVADDR(0x44a), buf[0]); /* COLS */
writeb(BIOS_PADDRTOVADDR(0x484), buf[1] + rows_offset - 1); /* ROWS */
writeb(BIOS_PADDRTOVADDR(0x485), buf[2]); /* POINTS */
writeb(BIOS_PADDRTOVADDR(0x44c), buf[3]);
writeb(BIOS_PADDRTOVADDR(0x44d), buf[4]);
rtcin(RTC_EQUIPMENT), readb(BIOS_PADDRTOVADDR(0x488)));
readw(BIOS_PADDRTOVADDR(0x463)),
readb(BIOS_PADDRTOVADDR(0x487)));
readb(BIOS_PADDRTOVADDR(0x44a)),
readb(BIOS_PADDRTOVADDR(0x484)) + 1,
readb(BIOS_PADDRTOVADDR(0x485)));
#ifndef BIOS_PADDRTOVADDR
buf = BIOS_PADDRTOVADDR(adp->va_window);
p = *(u_int32_t *)BIOS_PADDRTOVADDR(0x4a8);
p = *(u_int32_t *)BIOS_PADDRTOVADDR(p);
video_mode_ptr = (u_char *)BIOS_PADDRTOVADDR(p);
p = *(u_int32_t *)BIOS_PADDRTOVADDR(0x1d*4);
video_mode_ptr2 = (u_char *)BIOS_PADDRTOVADDR(p);
p = *(u_int32_t *)BIOS_PADDRTOVADDR(0x1d*4);
video_mode_ptr2 = (u_char *)BIOS_PADDRTOVADDR(p);
adp->va_window = BIOS_PADDRTOVADDR(info->vi_window);
if (*(u_int32_t *)BIOS_PADDRTOVADDR(0x4a8)) {
fill_adapter_param(readb(BIOS_PADDRTOVADDR(0x488)) & 0x0f,
fill_adapter_param(readb(BIOS_PADDRTOVADDR(0x488)) & 0x0f,
readb(BIOS_PADDRTOVADDR(0x449));
#define MDA_BUF BIOS_PADDRTOVADDR(MDA_BUF_BASE)
#define CGA_BUF BIOS_PADDRTOVADDR(CGA_BUF_BASE)
#define EGA_BUF BIOS_PADDRTOVADDR(EGA_BUF_BASE)
#define GRAPHICS_BUF BIOS_PADDRTOVADDR(GRAPHICS_BUF_BASE)
#define FONT_BUF BIOS_PADDRTOVADDR(GRAPHICS_BUF_BASE)
(uint8_t *)BIOS_PADDRTOVADDR(OROM_PHYSICAL_ADDRESS_START);
#define BIOS_PORTS ((short *)BIOS_PADDRTOVADDR(BIOS_PPC_PORTS))
sc->smapi32_entry = (u_int32_t)BIOS_PADDRTOVADDR(
#define ADDR2HDR(addr) ((struct smapi_bios_header *)BIOS_PADDRTOVADDR(addr))
bios32_SDCI = BIOS_PADDRTOVADDR(sdh->entry);
pt = (struct PnPBIOS_table *)(uintptr_t)BIOS_PADDRTOVADDR(sigaddr);
ent->ventry = BIOS_PADDRTOVADDR(ent->base + ent->entry);
sp = (char *)BIOS_PADDRTOVADDR(start);
sp = (char *)BIOS_PADDRTOVADDR(BIOS_START);
end = (u_char *)BIOS_PADDRTOVADDR(BIOS_START + BIOS_SIZE);
s = (u_char *)BIOS_PADDRTOVADDR(from);
se = (u_char *)BIOS_PADDRTOVADDR(to-len);
args.seg.code16.base = BIOS_PADDRTOVADDR(pt->pmentrybase);
args.seg.data.base = BIOS_PADDRTOVADDR(pt->pmdataseg);
sdh = (struct bios32_SDheader *)(uintptr_t)BIOS_PADDRTOVADDR(sigaddr);
pt = (struct PIR_table *)(uintptr_t)BIOS_PADDRTOVADDR(sigaddr);
shift = *(uint8_t *)BIOS_PADDRTOVADDR(0x417);
#define ADDR2VPD(addr) ((struct vpd *)BIOS_PADDRTOVADDR(addr))
psb = (struct psb_header*)(uintptr_t)BIOS_PADDRTOVADDR(sig);
addr = (u_int32_t *)BIOS_PADDRTOVADDR(target);
if ((segment = *(u_short *)BIOS_PADDRTOVADDR(0x40e)) != 0) {
mpfps = (mpfps_t)BIOS_PADDRTOVADDR(x);
mpct = (mpcth_t)BIOS_PADDRTOVADDR((uintptr_t)mpfps->pap);