.text	

.globl	ossl_rsaz_amm52x30_x1_avxifma256
.globl	ossl_rsaz_amm52x30_x2_avxifma256
.globl	ossl_extract_multiplier_2x30_win5_avx
.type	ossl_rsaz_amm52x30_x1_avxifma256,@function
ossl_rsaz_amm52x30_x1_avxifma256:
ossl_rsaz_amm52x30_x2_avxifma256:
ossl_extract_multiplier_2x30_win5_avx:
.byte	0x0f,0x0b
	.byte	0xf3,0xc3
.size	ossl_rsaz_amm52x30_x1_avxifma256, .-ossl_rsaz_amm52x30_x1_avxifma256
	.section ".note.gnu.property", "a"
	.p2align 3
	.long 1f - 0f
	.long 4f - 1f
	.long 5
0:
	# "GNU" encoded with .byte, since .asciz isn't supported
	# on Solaris.
	.byte 0x47
	.byte 0x4e
	.byte 0x55
	.byte 0
1:
	.p2align 3
	.long 0xc0000002
	.long 3f - 2f
2:
	.long 3
3:
	.p2align 3
4:
