Searched refs:bios_length (Results 1 – 2 of 2) sorted by relevance
88 void *bios_addr, uint32_t bios_length, in ovmf_load() argument93 - ((bios_length + OVMF_MAXOFFSET) & ~OVMF_MAXOFFSET); in ovmf_load()94 uint64_t ovmf_end = addr + bios_length; in ovmf_load()97 ovmf_config.image_size = bios_length; in ovmf_load()101 (uint8_t *)bios_addr + bios_length - LOWCHUNK_SIZE, in ovmf_load()113 BUG_ON(addr + bios_length > (unsigned)bios_addr && in ovmf_load()114 addr < (unsigned)bios_addr + bios_length); in ovmf_load()116 memcpy((void *)ovmf_config.bios_address, bios_addr, bios_length); in ovmf_load()
134 void *bios_addr, uint32_t bios_length, in seabios_load() argument137 unsigned int bios_dest = 0x100000 - bios_length; in seabios_load()139 BUG_ON(bios_dest + bios_length > HVMLOADER_PHYSICAL_ADDRESS); in seabios_load()140 memcpy((void *)bios_dest, bios_addr, bios_length); in seabios_load()142 seabios_config.image_size = bios_length; in seabios_load()
Completed in 6 milliseconds