secondary_trampoline

36

extern char secondary_trampoline[], secondary_trampoline_end[];

23

int trampoline_size = secondary_trampoline_end - secondary_trampoline;

30

memcpy(phys_to_virt(0), secondary_trampoline, trampoline_size);

48

int trampoline_size = secondary_trampoline_end - secondary_trampoline;

53

memcpy(phys_to_virt(0), secondary_trampoline, trampoline_size);