  	ret
 -.globl	_padlock_ctr32_encrypt
 -.def	_padlock_ctr32_encrypt;	.scl	2;	.type	32;	.endef
-+.globl	_gnutls__padlock_ctr32_encrypt
-+.def	_gnutls__padlock_ctr32_encrypt;	.scl	2;	.type	32;	.endef
++.globl	__gnutls_padlock_ctr32_encrypt
++.def	__gnutls_padlock_ctr32_encrypt;	.scl	2;	.type	32;	.endef
  .align	16
 -_padlock_ctr32_encrypt:
-+_gnutls__padlock_ctr32_encrypt:
++__gnutls_padlock_ctr32_encrypt:
  .L_padlock_ctr32_encrypt_begin:
  	pushl	%ebp
  	pushl	%ebx

 	.byte	0xf3,0xc3
 
-.globl	_padlock_ecb_encrypt
+.globl	_gnutls__padlock_ecb_encrypt
 
 .p2align	4
-_padlock_ecb_encrypt:
+_gnutls__padlock_ecb_encrypt:
 	pushq	%rbp
 	pushq	%rbx
 

 .text
-.globl	_sha512_block_data_order
-.def	_sha512_block_data_order;	.scl	2;	.type	32;	.endef
+.globl	__gnutls_sha512_block_data_order
+.def	__gnutls_sha512_block_data_order;	.scl	2;	.type	32;	.endef
 .align	16
-_sha512_block_data_order:
+__gnutls_sha512_block_data_order:
 .L_sha512_block_data_order_begin:
 	pushl	%ebp
 	pushl	%ebx
