Symbol: split_lock_verify_msr