Searched refs:origbios (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/usr/acpi/arch/x86/ | ||
H A D | acpi_arch.c | 87 void *origbios; local 89 err = vspace_map_one_frame(&origbios, 1 << BIOS_BITS, bioscap, 102 memcpy(newbios, origbios, 1 << BIOS_BITS); |
Completed in 29 milliseconds