c
info threads
quit
c
info threads
step
c
print cores
print cores_active
info threads
c
info threads
quit
c
info threads
c
info threads
quit
b smp_boot
c
qit
quit
b smp.c:59
c
next
info threads
next
info threads
next
info threads
info threads
info threads
quit
b smp.c:65
c
next
info threads
info thread 2
quit
b timer.c:57
c
quit
b timer.c:57
c
quit
b smp.c:57
c
print *(uint32_t *)&icr
print/x *(uint32_t *)&icr
info threads
next
info threads
next
info threads
next
info threads
next
info threads
next
info threads
next
info threads
print/x *(uint32_t *)&icr
pirnt (void *)0x8000
prit (void *)0x8000
print (void *)0x8000
print *(void *)0x8000
print __load_start_smp_bootloader 
print &__load_start_smp_bootloader 
print (void *)&__load_start_smp_bootloader 
print (void *)&__load_stop_smp_bootloader 
quit
print &__load_start_smp_bootloader
print &__load_stop_smp_bootloader
print &__load_stop_smp_bootloader
print smp_bootstrap
print smp_bootloader
print &__load_stop_smp_bootloader
print __load_stop_smp_bootloader
print &__load_stop_smp_bootloader
print smp_bootstrap_corecount 
b smp_trampoline
hb smp_trampoline
c
d 
d
hb smp_trampoline
c
info reg rip
quit
hb smp_trampoline
c
quit
c
quit
hb smp_trampoline
c
info threads
hexdump 0
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
cc
c
c
c
c
c
c
c
d
c
quit
b smp_trampoline
c
hb smp_trampoline
d 2
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
quit
c
info threads
quit
c
info threads
quit
info threads
next
next
print 0x8000 / 0x1000
next
quit
quit
next
info threads
next
info threads
next
info threads
quit
next
info threads
next
info threads
next
info threads
next
info threads
next
info threads
next
info threads
quit
hb 0
c
quit
next
next
next
print icr
next
next
info threads
quit
next
info threads
next
info threads
next
info threads
next
info threads
quit
b smp.c:60
c
next
info threads
next
info threads
quit
b memcpy
c
print dest
x 0xffff800000008000
print 0xffff800000008000
print/x 0xffff800000008000
print n
b 54
c
next
info reg 
info reg rax
info reg rbx
inf reg rdi
x/i 0xffff800000000000
x/i 0xffff800000008000
 smp_trampoline
hexdump 0xffff800000008000
quit
b memcpy
c
print dest
hexdump 0xffff800000008000
b 64
c
hexdump 0xffff800000008000
print __load_start_smp_bootloader
hexdump 0xffff800000000800
quit
info reg rsp
quit