	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function verify_session_handle
_verify_session_handle:                 ## @verify_session_handle
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	movq	%rdi, %rax
	movq	_MAX_NUM_SESSION@GOTPCREL(%rip), %rcx
	movq	(%rcx), %rdx
	testq	%rdx, %rdx
	je	LBB0_1
## %bb.5:
	movq	_soft_token@GOTPCREL(%rip), %rcx
	movq	(%rcx), %rdi
	xorl	%ecx, %ecx
	.p2align	4, 0x90
LBB0_6:                                 ## =>This Inner Loop Header: Depth=1
	cmpq	%rax, (%rdi,%rcx,8)
	je	LBB0_2
## %bb.7:                               ##   in Loop: Header=BB0_6 Depth=1
	incq	%rcx
	cmpq	%rcx, %rdx
	jne	LBB0_6
	jmp	LBB0_8
LBB0_1:
	xorl	%ecx, %ecx
LBB0_2:
	cmpq	%rdx, %rcx
	jne	LBB0_3
LBB0_8:
	leaq	L_.str(%rip), %rdi
	movq	%rax, %rsi
	callq	_application_error
	movq	_CKR_SESSION_HANDLE_INVALID@GOTPCREL(%rip), %rax
	jmp	LBB0_9
LBB0_3:
	movq	_CKR_OK@GOTPCREL(%rip), %rax
	testq	%rsi, %rsi
	je	LBB0_9
## %bb.4:
	movq	_soft_token@GOTPCREL(%rip), %rdx
	shlq	$3, %rcx
	addq	(%rdx), %rcx
	movq	%rcx, (%rsi)
LBB0_9:
	movl	(%rax), %eax
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_MAX_NUM_SESSION,8,3            ## @MAX_NUM_SESSION
	.comm	_soft_token,8,3                 ## @soft_token
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"use of invalid handle: 0x%08lx\n"

	.comm	_CKR_SESSION_HANDLE_INVALID,4,2 ## @CKR_SESSION_HANDLE_INVALID
	.comm	_CKR_OK,4,2                     ## @CKR_OK
	.no_dead_strip	_verify_session_handle
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function verify_session_handle
_verify_session_handle:                 ; @verify_session_handle
	.cfi_startproc
; %bb.0:
	stp	x29, x30, [sp, #-16]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 16
	mov	x29, sp
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	mov	x8, x0
Lloh0:
	adrp	x9, _MAX_NUM_SESSION@GOTPAGE
Lloh1:
	ldr	x9, [x9, _MAX_NUM_SESSION@GOTPAGEOFF]
Lloh2:
	ldr	x10, [x9]
	cbz	x10, LBB0_4
; %bb.1:
	mov	x9, #0
Lloh3:
	adrp	x11, _soft_token@GOTPAGE
Lloh4:
	ldr	x11, [x11, _soft_token@GOTPAGEOFF]
Lloh5:
	ldr	x11, [x11]
LBB0_2:                                 ; =>This Inner Loop Header: Depth=1
	ldr	x12, [x11, x9, lsl #3]
	cmp	x12, x8
	b.eq	LBB0_5
; %bb.3:                                ;   in Loop: Header=BB0_2 Depth=1
	add	x9, x9, #1
	cmp	x10, x9
	b.ne	LBB0_2
	b	LBB0_6
LBB0_4:
	mov	x9, #0
LBB0_5:
	cmp	x9, x10
	b.ne	LBB0_7
LBB0_6:
Lloh6:
	adrp	x0, l_.str@PAGE
Lloh7:
	add	x0, x0, l_.str@PAGEOFF
	mov	x1, x8
	bl	_application_error
Lloh8:
	adrp	x8, _CKR_SESSION_HANDLE_INVALID@GOTPAGE
Lloh9:
	ldr	x8, [x8, _CKR_SESSION_HANDLE_INVALID@GOTPAGEOFF]
	b	LBB0_10
LBB0_7:
	cbz	x1, LBB0_9
; %bb.8:
Lloh10:
	adrp	x8, _soft_token@GOTPAGE
Lloh11:
	ldr	x8, [x8, _soft_token@GOTPAGEOFF]
Lloh12:
	ldr	x8, [x8]
	add	x8, x8, x9, lsl #3
	str	x8, [x1]
LBB0_9:
Lloh13:
	adrp	x8, _CKR_OK@GOTPAGE
Lloh14:
	ldr	x8, [x8, _CKR_OK@GOTPAGEOFF]
LBB0_10:
	ldr	w0, [x8]
	ldp	x29, x30, [sp], #16             ; 16-byte Folded Reload
	ret
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGot	Lloh8, Lloh9
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh10, Lloh11, Lloh12
	.loh AdrpLdrGot	Lloh13, Lloh14
	.cfi_endproc
                                        ; -- End function
	.comm	_MAX_NUM_SESSION,8,3            ; @MAX_NUM_SESSION
	.comm	_soft_token,8,3                 ; @soft_token
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"use of invalid handle: 0x%08lx\n"

	.comm	_CKR_SESSION_HANDLE_INVALID,4,2 ; @CKR_SESSION_HANDLE_INVALID
	.comm	_CKR_OK,4,2                     ; @CKR_OK
	.no_dead_strip	_verify_session_handle
.subsections_via_symbols
