	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_pmap_set_tex                   ## -- Begin function pmap_set_tex
	.p2align	4, 0x90
_pmap_set_tex:                          ## @pmap_set_tex
	.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	_VM_MEMATTR_WB_WA@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movq	_pt_memattr@GOTPCREL(%rip), %rcx
	movl	%eax, (%rcx)
	xorl	%edi, %edi
	callq	_encode_ttb_flags
	movq	_ttb_flags@GOTPCREL(%rip), %rcx
	movl	%eax, (%rcx)
	movq	_tex_class@GOTPCREL(%rip), %rax
	movq	(%rax), %rsi
	movq	%rsi, -64(%rbp)                 ## 8-byte Spill
	movq	_TEXDEF_TYPE_SHIFT@GOTPCREL(%rip), %rax
	movb	(%rax), %r12b
	movq	_TEXDEF_TYPE_MASK@GOTPCREL(%rip), %rax
	movl	(%rax), %r13d
	movq	_TEXDEF_INNER_SHIFT@GOTPCREL(%rip), %rax
	movb	(%rax), %r15b
	movq	_TEXDEF_INNER_MASK@GOTPCREL(%rip), %rax
	movl	(%rax), %ebx
	movq	_TEXDEF_OUTER_SHIFT@GOTPCREL(%rip), %rax
	movb	(%rax), %r10b
	movq	_TEXDEF_OUTER_MASK@GOTPCREL(%rip), %rax
	movl	(%rax), %r11d
	movq	_TEXDEF_NOS_SHIFT@GOTPCREL(%rip), %rax
	movb	(%rax), %r8b
	movb	%r8b, -42(%rbp)                 ## 1-byte Spill
	movq	_TEXDEF_NOS_MASK@GOTPCREL(%rip), %rax
	movl	(%rax), %r14d
	movl	(%rsi), %eax
	movl	4(%rsi), %r9d
	movl	%eax, %esi
	movl	%r12d, %ecx
	movb	%r12b, -44(%rbp)                ## 1-byte Spill
	sarl	%cl, %esi
	andl	%r13d, %esi
	movl	%eax, %edi
	movl	%r15d, %ecx
	movb	%r15b, -43(%rbp)                ## 1-byte Spill
	sarl	%cl, %edi
	andl	%ebx, %edi
	movl	%ebx, -48(%rbp)                 ## 4-byte Spill
	movl	%eax, %edx
	movl	%r10d, %ecx
	movb	%r10b, -41(%rbp)                ## 1-byte Spill
	sarl	%cl, %edx
	andl	%r11d, %edx
	movl	%r8d, %ecx
	sarl	%cl, %eax
	andl	%r14d, %eax
	movl	%r14d, %r8d
	shll	$24, %eax
	orl	%esi, %eax
	shll	$16, %edx
	orl	%edi, %edx
	movl	%r9d, %esi
	movl	%r12d, %ecx
	sarl	%cl, %esi
	andl	%r13d, %esi
	movl	%r9d, %edi
	movl	%r15d, %ecx
	sarl	%cl, %edi
	andl	%ebx, %edi
	movl	%r9d, %ebx
	movl	%r10d, %ecx
	sarl	%cl, %ebx
	movl	%r11d, %r10d
	movl	%r11d, -56(%rbp)                ## 4-byte Spill
	andl	%r11d, %ebx
	movb	-42(%rbp), %r15b                ## 1-byte Reload
	movl	%r15d, %ecx
	sarl	%cl, %r9d
	movl	%r14d, -52(%rbp)                ## 4-byte Spill
	andl	%r14d, %r9d
	shll	$2, %esi
	shll	$25, %r9d
	orl	%esi, %r9d
	orl	%eax, %r9d
	shll	$2, %edi
	shll	$18, %ebx
	orl	%edi, %ebx
	orl	%edx, %ebx
	movq	-64(%rbp), %r12                 ## 8-byte Reload
	movl	8(%r12), %edx
	movl	%edx, %eax
	movb	-44(%rbp), %r11b                ## 1-byte Reload
	movl	%r11d, %ecx
	sarl	%cl, %eax
	andl	%r13d, %eax
	movl	%edx, %esi
	movb	-43(%rbp), %r14b                ## 1-byte Reload
	movl	%r14d, %ecx
	sarl	%cl, %esi
	andl	-48(%rbp), %esi                 ## 4-byte Folded Reload
	movl	%edx, %edi
	movb	-41(%rbp), %cl                  ## 1-byte Reload
	sarl	%cl, %edi
	andl	%r10d, %edi
	movl	%r15d, %ecx
	sarl	%cl, %edx
	andl	%r8d, %edx
	shll	$4, %eax
	shll	$26, %edx
	orl	%eax, %edx
	shll	$4, %esi
	shll	$20, %edi
	orl	%esi, %edi
	movl	12(%r12), %eax
	movl	%eax, %r10d
	movl	%r11d, %ecx
	sarl	%cl, %r10d
	andl	%r13d, %r10d
	movl	%eax, %r12d
	movl	%r14d, %r15d
	movl	%r14d, %ecx
	sarl	%cl, %r12d
	shll	$6, %r10d
	orl	%edx, %r10d
	movl	%eax, %esi
	movb	-41(%rbp), %r11b                ## 1-byte Reload
	movl	%r11d, %ecx
	sarl	%cl, %esi
	orl	%r9d, %r10d
	movb	-42(%rbp), %r8b                 ## 1-byte Reload
	movl	%r8d, %ecx
	sarl	%cl, %eax
	andl	-48(%rbp), %r12d                ## 4-byte Folded Reload
	shll	$6, %r12d
	orl	%edi, %r12d
	orl	%ebx, %r12d
	movq	-64(%rbp), %rcx                 ## 8-byte Reload
	movl	16(%rcx), %edx
	movl	%edx, %ebx
	movb	-44(%rbp), %r9b                 ## 1-byte Reload
	movl	%r9d, %ecx
	sarl	%cl, %ebx
	movl	-52(%rbp), %r14d                ## 4-byte Reload
	andl	%r14d, %eax
	movl	%edx, %edi
	movl	%r15d, %ecx
	sarl	%cl, %edi
	shll	$27, %eax
	movl	%edx, %r15d
	movl	%r11d, %ecx
	sarl	%cl, %r15d
	movl	%r13d, -68(%rbp)                ## 4-byte Spill
	andl	%r13d, %ebx
	movl	%r8d, %ecx
	sarl	%cl, %edx
	shll	$8, %ebx
	orl	%eax, %ebx
	andl	%r14d, %edx
	shll	$28, %edx
	orl	%ebx, %edx
	movl	-56(%rbp), %eax                 ## 4-byte Reload
	andl	%eax, %esi
	shll	$22, %esi
	movl	-48(%rbp), %ebx                 ## 4-byte Reload
	andl	%ebx, %edi
	andl	%eax, %r15d
	shll	$8, %edi
	orl	%esi, %edi
	shll	$24, %r15d
	movq	-64(%rbp), %rsi                 ## 8-byte Reload
	movl	20(%rsi), %eax
	movl	%eax, %r14d
	movl	%r9d, %ecx
	movl	%r9d, %r11d
	sarl	%cl, %r14d
	orl	%edi, %r15d
	andl	%r13d, %r14d
	shll	$10, %r14d
	orl	%edx, %r14d
	movl	%eax, %r9d
	movb	-43(%rbp), %r13b                ## 1-byte Reload
	movl	%r13d, %ecx
	sarl	%cl, %r9d
	andl	%ebx, %r9d
	orl	%r10d, %r14d
	movl	%eax, %edi
	movb	-41(%rbp), %r8b                 ## 1-byte Reload
	movl	%r8d, %ecx
	sarl	%cl, %edi
	movb	-42(%rbp), %cl                  ## 1-byte Reload
	sarl	%cl, %eax
	andl	-52(%rbp), %eax                 ## 4-byte Folded Reload
	shll	$29, %eax
	shll	$10, %r9d
	orl	%r15d, %r9d
	orl	%r12d, %r9d
	movl	24(%rsi), %esi
	movl	%esi, %ebx
	movl	%r11d, %r12d
	movl	%r11d, %ecx
	sarl	%cl, %ebx
	movl	-68(%rbp), %r15d                ## 4-byte Reload
	andl	%r15d, %ebx
	movl	%esi, %edx
	movl	%r13d, %ecx
	sarl	%cl, %edx
	movl	%esi, %r10d
	movl	%r8d, %ecx
	sarl	%cl, %r10d
	shll	$12, %ebx
	orl	%eax, %ebx
	movb	-42(%rbp), %r8b                 ## 1-byte Reload
	movl	%r8d, %ecx
	sarl	%cl, %esi
	movl	-52(%rbp), %r13d                ## 4-byte Reload
	andl	%r13d, %esi
	shll	$30, %esi
	orl	%ebx, %esi
	movl	-56(%rbp), %r11d                ## 4-byte Reload
	andl	%r11d, %edi
	shll	$26, %edi
	movl	-48(%rbp), %ebx                 ## 4-byte Reload
	andl	%ebx, %edx
	shll	$12, %edx
	orl	%edi, %edx
	andl	%r11d, %r10d
	shll	$28, %r10d
	orl	%edx, %r10d
	movq	-64(%rbp), %rax                 ## 8-byte Reload
	movl	28(%rax), %edi
	movl	%edi, %edx
	movl	%r12d, %ecx
	sarl	%cl, %edx
	andl	%r15d, %edx
	movl	%edi, %eax
	movb	-43(%rbp), %cl                  ## 1-byte Reload
	sarl	%cl, %eax
	andl	%ebx, %eax
	movl	%edi, %ebx
	movb	-41(%rbp), %cl                  ## 1-byte Reload
	sarl	%cl, %ebx
	andl	%r11d, %ebx
	movl	%r8d, %ecx
	shrl	%cl, %edi
	andl	%r13d, %edi
	shll	$14, %edx
	orl	%esi, %edx
	shll	$31, %edi
	orl	%edx, %edi
	orl	%r14d, %edi
	shll	$14, %eax
	orl	%r10d, %eax
	shll	$30, %ebx
	orl	%eax, %ebx
	movq	_PRRR_DS0@GOTPCREL(%rip), %rax
	orl	(%rax), %edi
	orl	%r9d, %ebx
	movq	_PRRR_DS1@GOTPCREL(%rip), %rax
	orl	(%rax), %edi
	callq	_cp15_prrr_set
	movl	%ebx, %edi
	callq	_cp15_nmrr_set
	xorl	%eax, %eax
	addq	$40, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_tlb_flush_all_local            ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.comm	_VM_MEMATTR_WB_WA,4,2           ## @VM_MEMATTR_WB_WA
	.comm	_pt_memattr,4,2                 ## @pt_memattr
	.comm	_ttb_flags,4,2                  ## @ttb_flags
	.comm	_tex_class,8,3                  ## @tex_class
	.comm	_TEXDEF_TYPE_SHIFT,4,2          ## @TEXDEF_TYPE_SHIFT
	.comm	_TEXDEF_TYPE_MASK,4,2           ## @TEXDEF_TYPE_MASK
	.comm	_TEXDEF_INNER_SHIFT,4,2         ## @TEXDEF_INNER_SHIFT
	.comm	_TEXDEF_INNER_MASK,4,2          ## @TEXDEF_INNER_MASK
	.comm	_TEXDEF_OUTER_SHIFT,4,2         ## @TEXDEF_OUTER_SHIFT
	.comm	_TEXDEF_OUTER_MASK,4,2          ## @TEXDEF_OUTER_MASK
	.comm	_TEXDEF_NOS_SHIFT,4,2           ## @TEXDEF_NOS_SHIFT
	.comm	_TEXDEF_NOS_MASK,4,2            ## @TEXDEF_NOS_MASK
	.comm	_PRRR_DS0,4,2                   ## @PRRR_DS0
	.comm	_PRRR_DS1,4,2                   ## @PRRR_DS1
	.comm	_PRRR_NS1,4,2                   ## @PRRR_NS1
	.comm	_VM_MEMATTR_NOCACHE,4,2         ## @VM_MEMATTR_NOCACHE
	.comm	_cpuinfo,8,3                    ## @cpuinfo
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_pmap_set_tex                   ; -- Begin function pmap_set_tex
	.p2align	2
_pmap_set_tex:                          ; @pmap_set_tex
	.cfi_startproc
; %bb.0:
	stp	x20, x19, [sp, #-32]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 32
	stp	x29, x30, [sp, #16]             ; 16-byte Folded Spill
	add	x29, sp, #16
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
Lloh0:
	adrp	x8, _VM_MEMATTR_WB_WA@GOTPAGE
Lloh1:
	ldr	x8, [x8, _VM_MEMATTR_WB_WA@GOTPAGEOFF]
Lloh2:
	ldr	w8, [x8]
Lloh3:
	adrp	x9, _pt_memattr@GOTPAGE
Lloh4:
	ldr	x9, [x9, _pt_memattr@GOTPAGEOFF]
Lloh5:
	str	w8, [x9]
	mov	w0, #0
	bl	_encode_ttb_flags
Lloh6:
	adrp	x8, _ttb_flags@GOTPAGE
Lloh7:
	ldr	x8, [x8, _ttb_flags@GOTPAGEOFF]
Lloh8:
	str	w0, [x8]
Lloh9:
	adrp	x8, _tex_class@GOTPAGE
Lloh10:
	ldr	x8, [x8, _tex_class@GOTPAGEOFF]
Lloh11:
	ldr	x9, [x8]
Lloh12:
	adrp	x8, _TEXDEF_TYPE_SHIFT@GOTPAGE
Lloh13:
	ldr	x8, [x8, _TEXDEF_TYPE_SHIFT@GOTPAGEOFF]
Lloh14:
	ldr	w8, [x8]
	ldp	w15, w17, [x9]
	asr	w13, w15, w8
Lloh15:
	adrp	x10, _TEXDEF_NOS_SHIFT@GOTPAGE
Lloh16:
	ldr	x10, [x10, _TEXDEF_NOS_SHIFT@GOTPAGEOFF]
Lloh17:
	ldr	w10, [x10]
	asr	w14, w15, w10
Lloh18:
	adrp	x11, _TEXDEF_TYPE_MASK@GOTPAGE
Lloh19:
	ldr	x11, [x11, _TEXDEF_TYPE_MASK@GOTPAGEOFF]
Lloh20:
	adrp	x16, _TEXDEF_INNER_SHIFT@GOTPAGE
Lloh21:
	ldr	x16, [x16, _TEXDEF_INNER_SHIFT@GOTPAGEOFF]
Lloh22:
	ldr	w12, [x11]
Lloh23:
	adrp	x11, _TEXDEF_NOS_MASK@GOTPAGE
Lloh24:
	ldr	x11, [x11, _TEXDEF_NOS_MASK@GOTPAGEOFF]
Lloh25:
	ldr	w11, [x11]
	and	w13, w13, w12
	and	w14, w14, w11
	orr	w0, w13, w14, lsl #24
Lloh26:
	ldr	w13, [x16]
	asr	w1, w15, w13
Lloh27:
	adrp	x14, _TEXDEF_OUTER_SHIFT@GOTPAGE
Lloh28:
	ldr	x14, [x14, _TEXDEF_OUTER_SHIFT@GOTPAGEOFF]
Lloh29:
	ldr	w14, [x14]
	asr	w2, w15, w14
Lloh30:
	adrp	x15, _TEXDEF_INNER_MASK@GOTPAGE
Lloh31:
	ldr	x15, [x15, _TEXDEF_INNER_MASK@GOTPAGEOFF]
Lloh32:
	ldr	w15, [x15]
Lloh33:
	adrp	x16, _TEXDEF_OUTER_MASK@GOTPAGE
Lloh34:
	ldr	x16, [x16, _TEXDEF_OUTER_MASK@GOTPAGEOFF]
Lloh35:
	ldr	w16, [x16]
	and	w1, w1, w15
	and	w2, w2, w16
	orr	w1, w1, w2, lsl #16
	asr	w2, w17, w8
	and	w2, w2, w12
	orr	w0, w0, w2, lsl #2
	asr	w2, w17, w10
	and	w2, w2, w11
	orr	w0, w0, w2, lsl #25
	asr	w2, w17, w13
	and	w2, w2, w15
	orr	w1, w1, w2, lsl #2
	asr	w17, w17, w14
	and	w17, w17, w16
	orr	w17, w1, w17, lsl #18
	ldp	w1, w2, [x9, #8]
	asr	w3, w1, w8
	asr	w4, w1, w13
	and	w3, w3, w12
	and	w4, w4, w15
	orr	w0, w0, w3, lsl #4
	asr	w3, w1, w14
	and	w3, w3, w16
	asr	w1, w1, w10
	and	w1, w1, w11
	orr	w0, w0, w1, lsl #26
	orr	w17, w17, w4, lsl #4
	orr	w17, w17, w3, lsl #20
	asr	w1, w2, w8
	and	w1, w1, w12
	asr	w3, w2, w13
	and	w3, w3, w15
	asr	w4, w2, w14
	and	w4, w4, w16
	asr	w2, w2, w10
	and	w2, w2, w11
	orr	w0, w0, w1, lsl #6
	orr	w0, w0, w2, lsl #27
	orr	w17, w17, w3, lsl #6
	orr	w17, w17, w4, lsl #22
	ldp	w1, w2, [x9, #16]
	asr	w3, w1, w8
	and	w3, w3, w12
	asr	w4, w1, w13
	and	w4, w4, w15
	orr	w0, w0, w3, lsl #8
	asr	w3, w1, w14
	and	w3, w3, w16
	asr	w1, w1, w10
	and	w1, w1, w11
	orr	w0, w0, w1, lsl #28
	orr	w17, w17, w4, lsl #8
	orr	w17, w17, w3, lsl #24
	asr	w1, w2, w8
	and	w1, w1, w12
	asr	w3, w2, w13
	and	w3, w3, w15
	asr	w4, w2, w14
	and	w4, w4, w16
	asr	w2, w2, w10
	and	w2, w2, w11
	orr	w0, w0, w1, lsl #10
	orr	w0, w0, w2, lsl #29
	orr	w17, w17, w3, lsl #10
	orr	w17, w17, w4, lsl #26
	ldp	w1, w9, [x9, #24]
	asr	w2, w1, w8
	and	w2, w2, w12
	asr	w3, w1, w13
	and	w3, w3, w15
	asr	w4, w1, w14
	and	w4, w4, w16
	asr	w1, w1, w10
	and	w1, w1, w11
	orr	w0, w0, w2, lsl #12
	orr	w0, w0, w1, lsl #30
	orr	w17, w17, w3, lsl #12
	orr	w17, w17, w4, lsl #28
	asr	w8, w9, w8
	and	w8, w8, w12
	asr	w12, w9, w13
	and	w12, w12, w15
	asr	w13, w9, w14
	and	w13, w13, w16
	lsr	w9, w9, w10
	and	w9, w9, w11
	orr	w8, w0, w8, lsl #14
	orr	w8, w8, w9, lsl #31
	orr	w9, w17, w12, lsl #14
	orr	w19, w9, w13, lsl #30
Lloh36:
	adrp	x9, _PRRR_DS0@GOTPAGE
Lloh37:
	ldr	x9, [x9, _PRRR_DS0@GOTPAGEOFF]
Lloh38:
	ldr	w9, [x9]
Lloh39:
	adrp	x10, _PRRR_DS1@GOTPAGE
Lloh40:
	ldr	x10, [x10, _PRRR_DS1@GOTPAGEOFF]
Lloh41:
	ldr	w10, [x10]
	orr	w8, w9, w8
	orr	w0, w8, w10
	bl	_cp15_prrr_set
	mov	x0, x19
	bl	_cp15_nmrr_set
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	b	_tlb_flush_all_local
	.loh AdrpLdrGotLdr	Lloh39, Lloh40, Lloh41
	.loh AdrpLdrGotLdr	Lloh36, Lloh37, Lloh38
	.loh AdrpLdrGotLdr	Lloh33, Lloh34, Lloh35
	.loh AdrpLdrGotLdr	Lloh30, Lloh31, Lloh32
	.loh AdrpLdrGotLdr	Lloh27, Lloh28, Lloh29
	.loh AdrpLdrGotLdr	Lloh23, Lloh24, Lloh25
	.loh AdrpLdrGotLdr	Lloh20, Lloh21, Lloh26
	.loh AdrpLdrGotLdr	Lloh18, Lloh19, Lloh22
	.loh AdrpLdrGotLdr	Lloh15, Lloh16, Lloh17
	.loh AdrpLdrGotLdr	Lloh12, Lloh13, Lloh14
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGotStr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGotStr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.cfi_endproc
                                        ; -- End function
	.comm	_VM_MEMATTR_WB_WA,4,2           ; @VM_MEMATTR_WB_WA
	.comm	_pt_memattr,4,2                 ; @pt_memattr
	.comm	_ttb_flags,4,2                  ; @ttb_flags
	.comm	_tex_class,8,3                  ; @tex_class
	.comm	_TEXDEF_TYPE_SHIFT,4,2          ; @TEXDEF_TYPE_SHIFT
	.comm	_TEXDEF_TYPE_MASK,4,2           ; @TEXDEF_TYPE_MASK
	.comm	_TEXDEF_INNER_SHIFT,4,2         ; @TEXDEF_INNER_SHIFT
	.comm	_TEXDEF_INNER_MASK,4,2          ; @TEXDEF_INNER_MASK
	.comm	_TEXDEF_OUTER_SHIFT,4,2         ; @TEXDEF_OUTER_SHIFT
	.comm	_TEXDEF_OUTER_MASK,4,2          ; @TEXDEF_OUTER_MASK
	.comm	_TEXDEF_NOS_SHIFT,4,2           ; @TEXDEF_NOS_SHIFT
	.comm	_TEXDEF_NOS_MASK,4,2            ; @TEXDEF_NOS_MASK
	.comm	_PRRR_DS0,4,2                   ; @PRRR_DS0
	.comm	_PRRR_DS1,4,2                   ; @PRRR_DS1
	.comm	_PRRR_NS1,4,2                   ; @PRRR_NS1
	.comm	_VM_MEMATTR_NOCACHE,4,2         ; @VM_MEMATTR_NOCACHE
	.comm	_cpuinfo,8,3                    ; @cpuinfo
.subsections_via_symbols
