	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function check_pkinit_san
_check_pkinit_san:                      ## @check_pkinit_san
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r15
	pushq	%r14
	pushq	%r13
	pushq	%r12
	pushq	%rbx
	subq	$40, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rsi, %rbx
	movl	%edi, %r12d
	movl	8(%rsi), %edi
	movq	(%rsi), %rsi
	leaq	-64(%rbp), %rdx
	leaq	-72(%rbp), %rcx
	callq	_decode_KRB5PrincipalName
	testl	%eax, %eax
	je	LBB0_2
## %bb.1:
	movq	_HX509_VALIDATE_F_VALIDATE@GOTPCREL(%rip), %rcx
	movl	(%rcx), %esi
	leaq	L_.str(%rip), %rdx
	movl	%r12d, %edi
	movl	%eax, %ecx
	xorl	%eax, %eax
	callq	_validate_print
	movl	$1, %r14d
	jmp	LBB0_9
LBB0_2:
	movq	-72(%rbp), %rax
	cmpq	(%rbx), %rax
	jne	LBB0_10
## %bb.3:
	cmpl	$0, -56(%rbp)
	je	LBB0_8
## %bb.4:
	movq	_HX509_VALIDATE_F_VERBOSE@GOTPCREL(%rip), %r13
	leaq	L_.str.2(%rip), %r14
	leaq	L_.str.3(%rip), %r15
	xorl	%ebx, %ebx
	jmp	LBB0_5
	.p2align	4, 0x90
LBB0_7:                                 ##   in Loop: Header=BB0_5 Depth=1
	cmpq	%rax, %rbx
	jae	LBB0_8
LBB0_5:                                 ## =>This Inner Loop Header: Depth=1
	movl	(%r13), %esi
	movq	-48(%rbp), %rax
	movl	(%rax,%rbx,4), %ecx
	movl	%r12d, %edi
	movq	%r14, %rdx
	xorl	%eax, %eax
	callq	_validate_print
	incq	%rbx
	movl	-56(%rbp), %eax
	cmpq	%rax, %rbx
	jae	LBB0_7
## %bb.6:                               ##   in Loop: Header=BB0_5 Depth=1
	movl	(%r13), %esi
	movl	%r12d, %edi
	movq	%r15, %rdx
	xorl	%eax, %eax
	callq	_validate_print
	movl	-56(%rbp), %eax
	jmp	LBB0_7
LBB0_10:
	movq	_HX509_VALIDATE_F_VALIDATE@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	leaq	L_.str.1(%rip), %rdx
	movl	%r12d, %edi
	xorl	%eax, %eax
	callq	_validate_print
	movl	$1, %r14d
	jmp	LBB0_9
LBB0_8:
	movq	_HX509_VALIDATE_F_VERBOSE@GOTPCREL(%rip), %rbx
	movl	(%rbx), %esi
	leaq	L_.str.4(%rip), %rdx
	xorl	%r14d, %r14d
	movl	%r12d, %edi
	xorl	%eax, %eax
	callq	_validate_print
	movl	(%rbx), %esi
	movl	-64(%rbp), %ecx
	leaq	L_.str.2(%rip), %rdx
	movl	%r12d, %edi
	xorl	%eax, %eax
	callq	_validate_print
	leaq	-64(%rbp), %rdi
	callq	_free_KRB5PrincipalName
LBB0_9:
	movl	%r14d, %eax
	addq	$40, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_HX509_VALIDATE_F_VALIDATE,4,2  ## @HX509_VALIDATE_F_VALIDATE
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"Decoding kerberos name in SAN failed: %d"

L_.str.1:                               ## @.str.1
	.asciz	"Decoding kerberos name have extra bits on the end"

	.comm	_HX509_VALIDATE_F_VERBOSE,4,2   ## @HX509_VALIDATE_F_VERBOSE
L_.str.2:                               ## @.str.2
	.asciz	"%s"

L_.str.3:                               ## @.str.3
	.asciz	"/"

L_.str.4:                               ## @.str.4
	.asciz	"@"

	.no_dead_strip	_check_pkinit_san
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function check_pkinit_san
_check_pkinit_san:                      ; @check_pkinit_san
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #112
	.cfi_def_cfa_offset 112
	stp	x24, x23, [sp, #48]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #64]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #80]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #96]             ; 16-byte Folded Spill
	add	x29, sp, #96
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	.cfi_offset w21, -40
	.cfi_offset w22, -48
	.cfi_offset w23, -56
	.cfi_offset w24, -64
	mov	x20, x1
	mov	x19, x0
	ldr	w0, [x1, #8]
	ldr	x1, [x1]
	add	x2, sp, #24
	add	x3, sp, #16
	bl	_decode_KRB5PrincipalName
                                        ; kill: def $w0 killed $w0 def $x0
	cbz	w0, LBB0_2
; %bb.1:
Lloh0:
	adrp	x8, _HX509_VALIDATE_F_VALIDATE@GOTPAGE
Lloh1:
	ldr	x8, [x8, _HX509_VALIDATE_F_VALIDATE@GOTPAGEOFF]
Lloh2:
	ldr	w1, [x8]
	str	x0, [sp]
Lloh3:
	adrp	x2, l_.str@PAGE
Lloh4:
	add	x2, x2, l_.str@PAGEOFF
	b	LBB0_9
LBB0_2:
	ldr	x8, [sp, #16]
	ldr	x9, [x20]
	cmp	x8, x9
	b.ne	LBB0_8
; %bb.3:
	ldr	w8, [sp, #32]
Lloh5:
	adrp	x22, _HX509_VALIDATE_F_VERBOSE@GOTPAGE
Lloh6:
	ldr	x22, [x22, _HX509_VALIDATE_F_VERBOSE@GOTPAGEOFF]
	cbz	w8, LBB0_11
; %bb.4:
	mov	x23, #0
Lloh7:
	adrp	x20, l_.str.2@PAGE
Lloh8:
	add	x20, x20, l_.str.2@PAGEOFF
Lloh9:
	adrp	x21, l_.str.3@PAGE
Lloh10:
	add	x21, x21, l_.str.3@PAGEOFF
	b	LBB0_6
LBB0_5:                                 ;   in Loop: Header=BB0_6 Depth=1
	cmp	x23, x8
	b.hs	LBB0_11
LBB0_6:                                 ; =>This Inner Loop Header: Depth=1
	ldr	w1, [x22]
	ldr	x8, [sp, #40]
	ldr	w8, [x8, x23, lsl #2]
	str	x8, [sp]
	mov	x0, x19
	mov	x2, x20
	bl	_validate_print
	add	x23, x23, #1
	ldr	w8, [sp, #32]
	cmp	x23, x8
	b.hs	LBB0_5
; %bb.7:                                ;   in Loop: Header=BB0_6 Depth=1
	ldr	w1, [x22]
	mov	x0, x19
	mov	x2, x21
	bl	_validate_print
	ldr	w8, [sp, #32]
	b	LBB0_5
LBB0_8:
Lloh11:
	adrp	x8, _HX509_VALIDATE_F_VALIDATE@GOTPAGE
Lloh12:
	ldr	x8, [x8, _HX509_VALIDATE_F_VALIDATE@GOTPAGEOFF]
Lloh13:
	ldr	w1, [x8]
Lloh14:
	adrp	x2, l_.str.1@PAGE
Lloh15:
	add	x2, x2, l_.str.1@PAGEOFF
LBB0_9:
	mov	x0, x19
	bl	_validate_print
	mov	w0, #1
LBB0_10:
	ldp	x29, x30, [sp, #96]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #80]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #64]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #48]             ; 16-byte Folded Reload
	add	sp, sp, #112
	ret
LBB0_11:
	ldr	w1, [x22]
Lloh16:
	adrp	x2, l_.str.4@PAGE
Lloh17:
	add	x2, x2, l_.str.4@PAGEOFF
	mov	x0, x19
	bl	_validate_print
	ldr	w1, [x22]
	ldr	w8, [sp, #24]
	str	x8, [sp]
Lloh18:
	adrp	x2, l_.str.2@PAGE
Lloh19:
	add	x2, x2, l_.str.2@PAGEOFF
	mov	x0, x19
	bl	_validate_print
	add	x0, sp, #24
	bl	_free_KRB5PrincipalName
	mov	w0, #0
	b	LBB0_10
	.loh AdrpAdd	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh5, Lloh6
	.loh AdrpAdd	Lloh9, Lloh10
	.loh AdrpAdd	Lloh7, Lloh8
	.loh AdrpAdd	Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh11, Lloh12, Lloh13
	.loh AdrpAdd	Lloh18, Lloh19
	.loh AdrpAdd	Lloh16, Lloh17
	.cfi_endproc
                                        ; -- End function
	.comm	_HX509_VALIDATE_F_VALIDATE,4,2  ; @HX509_VALIDATE_F_VALIDATE
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"Decoding kerberos name in SAN failed: %d"

l_.str.1:                               ; @.str.1
	.asciz	"Decoding kerberos name have extra bits on the end"

	.comm	_HX509_VALIDATE_F_VERBOSE,4,2   ; @HX509_VALIDATE_F_VERBOSE
l_.str.2:                               ; @.str.2
	.asciz	"%s"

l_.str.3:                               ; @.str.3
	.asciz	"/"

l_.str.4:                               ; @.str.4
	.asciz	"@"

	.no_dead_strip	_check_pkinit_san
.subsections_via_symbols
