__slb_flush_and_restore_bolted
__slb_flush_and_restore_bolted(false);
__slb_flush_and_restore_bolted(true);