virtual_address
void* (*virtual_address)(bios_state* state, uint32 physicalAddress);
uint8_t* biosBase = (uint8_t*)sBIOSModule->virtual_address(state, kBiosBase);
uint8_t* bios = (uint8_t*)sBIOSModule->virtual_address(state, kBiosBase);
uint8_t* bios = (uint8_t*)sBIOSModule->virtual_address(state, kBiosBase);
uint8_t* bios = (uint8_t*)sBIOSModule->virtual_address(state, kBiosBase);
uint8_t* bios = (uint8_t*)sBIOSModule->virtual_address(state, kBiosBase);
strlcpy(info.shared_info->name, (char*)sBIOSModule->virtual_address(state,
void *virtual_address;
map->virtual_address, map->length,
if (map->virtual_address == pageTable) {
map->virtual_address);
map->virtual_address);
*_exceptionHandlers = map->virtual_address;
if (map->virtual_address == oldPageTable)
if (insert_virtual_allocated_range((addr_t)map->virtual_address,
map_range(map->virtual_address, map->physical_address, map->length,
map->virtual_address);
if (insert_virtual_range_to_keep(map->virtual_address,
void *virtual_address;
map->virtual_address, map->length,
if (insert_virtual_allocated_range((addr_t)map->virtual_address,
if (insert_virtual_range_to_keep(map->virtual_address,
&cookie->virtual_address, &cookie->physical_page_handle);
vector.iov_base = (void*)(cookie->virtual_address + pageOffset);
addr_t virtual_address;
if (virtual_address != (addr_t)-1) {
vm_put_physical_page(virtual_address, physical_page_handle);
virtual_address = (addr_t)-1;