Searched refs:bios_reset_vector (Results 1 – 1 of 1) sorted by relevance
312 unsigned bios_reset_vector = PHYS_TO_VIRTUAL (BIOS_RESET_VECTOR); in boot_cpu() local325 *((volatile unsigned *) bios_reset_vector) = bootaddr << 12; in boot_cpu()347 *((volatile unsigned *) bios_reset_vector) = 0; in boot_cpu()