__slb_restore_bolted_realmode
void __slb_restore_bolted_realmode(void);
__slb_restore_bolted_realmode();
__slb_restore_bolted_realmode();
__slb_restore_bolted_realmode();
__slb_restore_bolted_realmode();