PHYS_TO_VIRTUAL

312

unsigned bios_reset_vector = PHYS_TO_VIRTUAL (BIOS_RESET_VECTOR);

467

= (imps_cth *) PHYS_TO_VIRTUAL (fps_ptr->cth_ptr);

522

= (imps_cth *) PHYS_TO_VIRTUAL (fps_ptr->cth_ptr);

558

imps_lapic_addr = PHYS_TO_VIRTUAL (imps_lapic_addr);

654

imps_fps *fps_ptr = (imps_fps *) PHYS_TO_VIRTUAL (start);

710

PHYS_TO_VIRTUAL (EBDA_SEG_ADDR)) << 4;

738

|| ebda_addr + *((unsigned char *) PHYS_TO_VIRTUAL (ebda_addr))