/*

 * CDDL HEADER START

 *

 * The contents of this file are subject to the terms of the

 * Common Development and Distribution License (the "License").

 * You may not use this file except in compliance with the License.

 *

 * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE

 * or http://www.opensolaris.org/os/licensing.

 * See the License for the specific language governing permissions

 * and limitations under the License.

 *

 * When distributing Covered Code, include this CDDL HEADER in each

 * file and include the License file at usr/src/OPENSOLARIS.LICENSE.

 * If applicable, add the following below this CDDL HEADER, with the

 * fields enclosed by brackets "[]" replaced with your own identifying

 * information: Portions Copyright [yyyy] [name of copyright owner]

 *

 * CDDL HEADER END

 */

/*

 * Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved.

 */

/*LINTLIBRARY*/

#if defined(lint) || defined(__lint)

#include <sys/types.h>

/*ARGSUSED*/

void t4_aes_expand128(uint64_t *rk, const uint32_t *key)

{ return; }

/*ARGSUSED*/

void t4_aes_expand192(uint64_t *rk, const uint32_t *key)

{ return; }

/*ARGSUSED*/

void t4_aes_expand256(uint64_t *rk, const uint32_t *key)

{ return; }

void t4_aes128_load_keys_for_encrypt(uint64_t *ks)

{ return; }

/*ARGSUSED*/

void t4_aes192_load_keys_for_encrypt(uint64_t *ks)

{ return; }

/*ARGSUSED*/

void t4_aes256_load_keys_for_encrypt(uint64_t *ks)

{ return; }

/*ARGSUSED*/

void t4_aes128_ecb_encrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes192_ecb_encrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes256_ecb_encrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes128_cbc_encrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes192_cbc_encrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes256_cbc_encrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes128_ctr_crypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes192_ctr_crypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes256_ctr_crypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes128_cfb128_encrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes192_cfb128_encrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes256_cfb128_encrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

void t4_aes128_load_keys_for_decrypt(uint64_t *ks)

{ return; }

/*ARGSUSED*/

void t4_aes192_load_keys_for_decrypt(uint64_t *ks)

{ return; }

/*ARGSUSED*/

void t4_aes256_load_keys_for_decrypt(uint64_t *ks)

{ return; }

/*ARGSUSED*/

void t4_aes128_ecb_decrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes192_ecb_decrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes256_ecb_decrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes128_cbc_decrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes192_cbc_decrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes256_cbc_decrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes128_cfb128_decrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes192_cfb128_decrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

/*ARGSUSED*/

void t4_aes256_cfb128_decrypt(uint64_t *ks, uint64_t *asm_in,

    uint64_t * asm_out, size_t amount_to_encrypt, uint64_t *iv)

{ return; }

#else	/* lint || __lint */

#include<sys/asm_linkage.h>

	ENTRY(t4_aes_expand128)

!load key

	ld	[%o1], %f0

	ld	[%o1 + 0x4], %f1

	ld	[%o1 + 0x8], %f2

	ld	[%o1 + 0xc], %f3

!expand the key

	.byte	0x88, 0xc8, 0x01, 0x02

	.byte	0x8d, 0xb0, 0xa6, 0x24

	.byte	0x90, 0xc9, 0x03, 0x06

	.byte	0x95, 0xb1, 0xa6, 0x28

	.byte	0x98, 0xca, 0x05, 0x0a

	.byte	0x9d, 0xb2, 0xa6, 0x2c

	.byte	0xa0, 0xcb, 0x07, 0x0e

	.byte	0xa5, 0xb3, 0xa6, 0x30

	.byte	0xa8, 0xcc, 0x09, 0x12

	.byte	0xad, 0xb4, 0xa6, 0x34

	.byte	0xb0, 0xcd, 0x0b, 0x16

	.byte	0xb5, 0xb5, 0xa6, 0x38

	.byte	0xb8, 0xce, 0x0d, 0x1a

	.byte	0xbd, 0xb6, 0xa6, 0x3c

	.byte	0x82, 0xcf, 0x0f, 0x1e

	.byte	0x87, 0xb7, 0xa6, 0x21

	.byte	0x8a, 0xc8, 0x51, 0x03

	.byte	0x8f, 0xb0, 0xe6, 0x25

	.byte	0x92, 0xc9, 0x53, 0x07

	.byte	0x97, 0xb1, 0xe6, 0x29

!copy expanded key back into array

	std	%f4, [%o0]

	std	%f6, [%o0 + 0x8]

	std	%f8, [%o0 + 0x10]

	std	%f10, [%o0 + 0x18]

	std	%f12, [%o0 + 0x20]

	std	%f14, [%o0 + 0x28]

	std	%f16, [%o0 + 0x30]

	std	%f18, [%o0 + 0x38]

	std	%f20, [%o0 + 0x40]

	std	%f22, [%o0 + 0x48]

	std	%f24, [%o0 + 0x50]

	std	%f26, [%o0 + 0x58]

	std	%f28, [%o0 + 0x60]

	std	%f30, [%o0 + 0x68]

	std	%f32, [%o0 + 0x70]

	std	%f34, [%o0 + 0x78]

	std	%f36, [%o0 + 0x80]

	std	%f38, [%o0 + 0x88]

	std	%f40, [%o0 + 0x90]

	retl

	std	%f42, [%o0 + 0x98]

	SET_SIZE(t4_aes_expand128)

	ENTRY(t4_aes_expand192)

!load key

	ld	[%o1], %f0

	ld	[%o1 + 0x4], %f1

	ld	[%o1 + 0x8], %f2

	ld	[%o1 + 0xc], %f3

	ld	[%o1 + 0x10], %f4

	ld	[%o1 + 0x14], %f5

!expand the key

	.byte	0x8c, 0xc8, 0x01, 0x04

	.byte	0x91, 0xb0, 0xa6, 0x26

	.byte	0x95, 0xb1, 0x26, 0x28

	.byte	0x98, 0xc9, 0x83, 0x0a

	.byte	0x9d, 0xb2, 0x26, 0x2c

	.byte	0xa1, 0xb2, 0xa6, 0x2e

	.byte	0xa4, 0xcb, 0x05, 0x10

	.byte	0xa9, 0xb3, 0xa6, 0x32

	.byte	0xad, 0xb4, 0x26, 0x34

	.byte	0xb0, 0xcc, 0x87, 0x16

	.byte	0xb5, 0xb5, 0x26, 0x38

	.byte	0xb9, 0xb5, 0xa6, 0x3a

	.byte	0xbc, 0xce, 0x09, 0x1c

	.byte	0x83, 0xb6, 0xa6, 0x3e

	.byte	0x87, 0xb7, 0x26, 0x21

	.byte	0x8a, 0xcf, 0x8b, 0x03

	.byte	0x8f, 0xb0, 0x66, 0x25

	.byte	0x93, 0xb0, 0xe6, 0x27

	.byte	0x96, 0xc9, 0x4d, 0x09

	.byte	0x9b, 0xb1, 0xe6, 0x2b

	.byte	0x9f, 0xb2, 0x66, 0x2d

	.byte	0xa2, 0xca, 0xcf, 0x0f

	.byte	0xa7, 0xb3, 0x66, 0x31

!copy expanded key back into array

	std	%f6, [%o0]

	std	%f8, [%o0 + 0x8]

	std	%f10, [%o0 + 0x10]

	std	%f12, [%o0 + 0x18]

	std	%f14, [%o0 + 0x20]

	std	%f16, [%o0 + 0x28]

	std	%f18, [%o0 + 0x30]

	std	%f20, [%o0 + 0x38]

	std	%f22, [%o0 + 0x40]

	std	%f24, [%o0 + 0x48]

	std	%f26, [%o0 + 0x50]

	std	%f28, [%o0 + 0x58]

	std	%f30, [%o0 + 0x60]

	std	%f32, [%o0 + 0x68]

	std	%f34, [%o0 + 0x70]

	std	%f36, [%o0 + 0x78]

	std	%f38, [%o0 + 0x80]

	std	%f40, [%o0 + 0x88]

	std	%f42, [%o0 + 0x90]

	std	%f44, [%o0 + 0x98]

	std	%f46, [%o0 + 0xa0]

	std	%f48, [%o0 + 0xa8]

	retl

	std	%f50, [%o0 + 0xb0]

	SET_SIZE(t4_aes_expand192)

	ENTRY(t4_aes_expand256)

!load key

	ld	[%o1], %f0

	ld	[%o1 + 0x4], %f1

	ld	[%o1 + 0x8], %f2

	ld	[%o1 + 0xc], %f3

	ld	[%o1 + 0x10], %f4

	ld	[%o1 + 0x14], %f5

	ld	[%o1 + 0x18], %f6

	ld	[%o1 + 0x1c], %f7

!expand the key

	.byte	0x90, 0xc8, 0x01, 0x06

	.byte	0x95, 0xb0, 0xa6, 0x28

	.byte	0x99, 0xb1, 0x26, 0x0a

	.byte	0x9d, 0xb1, 0xa6, 0x2c

	.byte	0xa0, 0xca, 0x03, 0x0e

	.byte	0xa5, 0xb2, 0xa6, 0x30

	.byte	0xa9, 0xb3, 0x26, 0x12

	.byte	0xad, 0xb3, 0xa6, 0x34

	.byte	0xb0, 0xcc, 0x05, 0x16

	.byte	0xb5, 0xb4, 0xa6, 0x38

	.byte	0xb9, 0xb5, 0x26, 0x1a

	.byte	0xbd, 0xb5, 0xa6, 0x3c

	.byte	0x82, 0xce, 0x07, 0x1e

	.byte	0x87, 0xb6, 0xa6, 0x21

	.byte	0x8b, 0xb7, 0x26, 0x03

	.byte	0x8f, 0xb7, 0xa6, 0x25

	.byte	0x92, 0xc8, 0x49, 0x07

	.byte	0x97, 0xb0, 0xe6, 0x29

	.byte	0x9b, 0xb1, 0x66, 0x0b

	.byte	0x9f, 0xb1, 0xe6, 0x2d

	.byte	0xa2, 0xca, 0x4b, 0x0f

	.byte	0xa7, 0xb2, 0xe6, 0x31

	.byte	0xab, 0xb3, 0x66, 0x13

	.byte	0xaf, 0xb3, 0xe6, 0x35

	.byte	0xb2, 0xcc, 0x4d, 0x17

	.byte	0xb7, 0xb4, 0xe6, 0x39

!copy expanded key back into array

	std	%f8, [%o0]

	std	%f10, [%o0 + 0x8]

	std	%f12, [%o0 + 0x10]

	std	%f14, [%o0 + 0x18]

	std	%f16, [%o0 + 0x20]

	std	%f18, [%o0 + 0x28]

	std	%f20, [%o0 + 0x30]

	std	%f22, [%o0 + 0x38]

	std	%f24, [%o0 + 0x40]

	std	%f26, [%o0 + 0x48]

	std	%f28, [%o0 + 0x50]

	std	%f30, [%o0 + 0x58]

	std	%f32, [%o0 + 0x60]

	std	%f34, [%o0 + 0x68]

	std	%f36, [%o0 + 0x70]

	std	%f38, [%o0 + 0x78]

	std	%f40, [%o0 + 0x80]

	std	%f42, [%o0 + 0x88]

	std	%f44, [%o0 + 0x90]

	std	%f46, [%o0 + 0x98]

	std	%f48, [%o0 + 0xa0]

	std	%f50, [%o0 + 0xa8]

	std	%f52, [%o0 + 0xb0]

	std	%f54, [%o0 + 0xb8]

	std	%f56, [%o0 + 0xc0]

	retl

	std	%f58, [%o0 + 0xc8]

	SET_SIZE(t4_aes_expand256)

#define	FIRST_TWO_EROUNDS \

	.byte	0xb2, 0xc8, 0x3e, 0x1d ; \

	.byte	0xb6, 0xc8, 0xbe, 0x3d ; \

	.byte	0xba, 0xc9, 0x36, 0x19 ; \

	.byte	0xbe, 0xc9, 0xb6, 0x39

#define	MID_TWO_EROUNDS \

	.byte	0xb2, 0xca, 0x3e, 0x1d ; \

	.byte	0xb6, 0xca, 0xbe, 0x3d ; \

	.byte	0xba, 0xcb, 0x36, 0x19 ; \

	.byte	0xbe, 0xcb, 0xb6, 0x39

#define	MID_TWO_EROUNDS_2 \

	.byte	0x8c, 0xca, 0x04, 0x00 ; \

	.byte	0x88, 0xca, 0x84, 0x20 ; \

	.byte	0xb2, 0xca, 0x3e, 0x1d ; \

	.byte	0xb6, 0xca, 0xbe, 0x3d ; \

	.byte	0x80, 0xcb, 0x08, 0x06 ; \

	.byte	0x84, 0xcb, 0x88, 0x26 ; \

	.byte	0xba, 0xcb, 0x36, 0x19 ; \

	.byte	0xbe, 0xcb, 0xb6, 0x39

#define	TEN_EROUNDS \

	.byte	0xb2, 0xcc, 0x3e, 0x1d ; \

	.byte	0xb6, 0xcc, 0xbe, 0x3d ; \

	.byte	0xba, 0xcd, 0x36, 0x19 ; \

	.byte	0xbe, 0xcd, 0xb6, 0x39 ; \

	.byte	0xb2, 0xce, 0x3e, 0x1d ; \

	.byte	0xb6, 0xce, 0xbe, 0x3d ; \

	.byte	0xba, 0xcf, 0x36, 0x19 ; \

	.byte	0xbe, 0xcf, 0xb6, 0x39 ; \

	.byte	0xb2, 0xc8, 0x7e, 0x1d ; \

	.byte	0xb6, 0xc8, 0xfe, 0x3d ; \

	.byte	0xba, 0xc9, 0x76, 0x19 ; \

	.byte	0xbe, 0xc9, 0xf6, 0x39 ; \

	.byte	0xb2, 0xca, 0x7e, 0x1d ; \

	.byte	0xb6, 0xca, 0xfe, 0x3d ; \

	.byte	0xba, 0xcb, 0x76, 0x19 ; \

	.byte	0xbe, 0xcb, 0xf6, 0x39 ; \

	.byte	0xb2, 0xcc, 0x7e, 0x1d ; \

	.byte	0xb6, 0xcc, 0xfe, 0x3d ; \

	.byte	0xba, 0xcd, 0x76, 0x99 ; \

	.byte	0xbe, 0xcd, 0xf6, 0xb9

#define	TEN_EROUNDS_2 \

	.byte	0x8c, 0xcc, 0x04, 0x00 ; \

	.byte	0x88, 0xcc, 0x84, 0x20 ; \

	.byte	0xb2, 0xcc, 0x3e, 0x1d ; \

	.byte	0xb6, 0xcc, 0xbe, 0x3d ; \

	.byte	0x80, 0xcd, 0x08, 0x06 ; \

	.byte	0x84, 0xcd, 0x88, 0x26 ; \

	.byte	0xba, 0xcd, 0x36, 0x19 ; \

	.byte	0xbe, 0xcd, 0xb6, 0x39 ; \

	.byte	0x8c, 0xce, 0x04, 0x00 ; \

	.byte	0x88, 0xce, 0x84, 0x20 ; \

	.byte	0xb2, 0xce, 0x3e, 0x1d ; \

	.byte	0xb6, 0xce, 0xbe, 0x3d ; \

	.byte	0x80, 0xcf, 0x08, 0x06 ; \

	.byte	0x84, 0xcf, 0x88, 0x26 ; \

	.byte	0xba, 0xcf, 0x36, 0x19 ; \

	.byte	0xbe, 0xcf, 0xb6, 0x39 ; \

	.byte	0x8c, 0xc8, 0x44, 0x00 ; \

	.byte	0x88, 0xc8, 0xc4, 0x20 ; \

	.byte	0xb2, 0xc8, 0x7e, 0x1d ; \

	.byte	0xb6, 0xc8, 0xfe, 0x3d ; \

	.byte	0x80, 0xc9, 0x48, 0x06 ; \

	.byte	0x84, 0xc9, 0xc8, 0x26 ; \

	.byte	0xba, 0xc9, 0x76, 0x19 ; \

	.byte	0xbe, 0xc9, 0xf6, 0x39 ; \

	.byte	0x8c, 0xca, 0x44, 0x00 ; \

	.byte	0x88, 0xca, 0xc4, 0x20 ; \

	.byte	0xb2, 0xca, 0x7e, 0x1d ; \

	.byte	0xb6, 0xca, 0xfe, 0x3d ; \

	.byte	0x80, 0xcb, 0x48, 0x06 ; \

	.byte	0x84, 0xcb, 0xc8, 0x26 ; \

	.byte	0xba, 0xcb, 0x76, 0x19 ; \

	.byte	0xbe, 0xcb, 0xf6, 0x39 ; \

	.byte	0x8c, 0xcc, 0x44, 0x00 ; \

	.byte	0x88, 0xcc, 0xc4, 0x20 ; \

	.byte	0xb2, 0xcc, 0x7e, 0x1d ; \

	.byte	0xb6, 0xcc, 0xfe, 0x3d ; \

	.byte	0x80, 0xcd, 0x48, 0x86 ; \

	.byte	0x84, 0xcd, 0xc8, 0xa6 ; \

	.byte	0xba, 0xcd, 0x76, 0x99 ; \

	.byte	0xbe, 0xcd, 0xf6, 0xb9

#define	TWELVE_EROUNDS \

	MID_TWO_EROUNDS	; \

	TEN_EROUNDS

#define	TWELVE_EROUNDS_2 \

	MID_TWO_EROUNDS_2	; \

	TEN_EROUNDS_2

#define	FOURTEEN_EROUNDS \

	FIRST_TWO_EROUNDS ; \

	TWELVE_EROUNDS

#define	FOURTEEN_EROUNDS_2 \

	.byte	0xb0, 0xc8, 0x2c, 0x14 ; \

	.byte	0xac, 0xc8, 0xac, 0x34 ; \

	ldd	[%o0 + 0x60], %f20 ; \

	.byte	0xb2, 0xc8, 0x3e, 0x1d ; \

	.byte	0xb6, 0xc8, 0xbe, 0x3d ; \

	.byte	0x80, 0xc9, 0x2c, 0x18 ; \

	.byte	0x84, 0xc9, 0xac, 0x38 ;\

	ldd	[%o0 + 0x68], %f22 ; \

	.byte	0xba, 0xc9, 0x36, 0x19 ; \

	ldd	[%o0 + 0x70], %f24 ; \

	.byte	0xbe, 0xc9, 0xb6, 0x39 ; \

	.byte	0x8c, 0xca, 0x04, 0x00 ; \

	.byte	0x88, 0xca, 0x84, 0x20 ; \

	.byte	0xb2, 0xca, 0x3e, 0x1d ; \

	.byte	0xb6, 0xca, 0xbe, 0x3d ; \

	.byte	0x80, 0xcb, 0x08, 0x06 ; \

	.byte	0x84, 0xcb, 0x88, 0x26 ; \

	.byte	0xba, 0xcb, 0x36, 0x19 ; \

	.byte	0xbe, 0xcb, 0xb6, 0x39 ; \

	.byte	0x8c, 0xcc, 0x04, 0x00 ; \

	.byte	0x88, 0xcc, 0x84, 0x20 ; \

	.byte	0xb2, 0xcc, 0x3e, 0x1d ; \

	.byte	0xb6, 0xcc, 0xbe, 0x3d ; \

	.byte	0x80, 0xcd, 0x08, 0x06 ; \

	.byte	0x84, 0xcd, 0x88, 0x26 ; \

	.byte	0xba, 0xcd, 0x36, 0x19 ; \

	.byte	0xbe, 0xcd, 0xb6, 0x39 ; \

	.byte	0x8c, 0xce, 0x04, 0x00 ; \

	.byte	0x88, 0xce, 0x84, 0x20 ; \

	.byte	0xb2, 0xce, 0x3e, 0x1d ; \

	.byte	0xb6, 0xce, 0xbe, 0x3d ; \

	.byte	0x80, 0xcf, 0x08, 0x06 ; \

	.byte	0x84, 0xcf, 0x88, 0x26 ; \

	.byte	0xba, 0xcf, 0x36, 0x19 ; \

	.byte	0xbe, 0xcf, 0xb6, 0x39 ; \

	.byte	0x8c, 0xc8, 0x44, 0x00 ; \

	.byte	0x88, 0xc8, 0xc4, 0x20 ; \

	.byte	0xb2, 0xc8, 0x7e, 0x1d ; \

	.byte	0xb6, 0xc8, 0xfe, 0x3d ; \

	.byte	0x80, 0xc9, 0x48, 0x06 ; \

	.byte	0x84, 0xc9, 0xc8, 0x26 ; \

	.byte	0xba, 0xc9, 0x76, 0x19 ; \

	.byte	0xbe, 0xc9, 0xf6, 0x39 ; \

	.byte	0x8c, 0xca, 0x44, 0x00 ; \

	.byte	0x88, 0xca, 0xc4, 0x20 ; \

	.byte	0xb2, 0xca, 0x7e, 0x1d ; \

	.byte	0xb6, 0xca, 0xfe, 0x3d ; \

	.byte	0x80, 0xcb, 0x48, 0x06 ; \

	.byte	0x84, 0xcb, 0xc8, 0x26 ; \

	.byte	0xba, 0xcb, 0x76, 0x19 ; \

	.byte	0xbe, 0xcb, 0xf6, 0x39 ; \

	.byte	0x8c, 0xcc, 0x44, 0x00 ; \

	.byte	0x88, 0xcc, 0xc4, 0x20 ; \

	ldd	[%o0 + 0x10], %f0 ; \

	.byte	0xb2, 0xcc, 0x7e, 0x1d ; \

	ldd	[%o0 + 0x18], %f2 ; \

	.byte	0xb6, 0xcc, 0xfe, 0x3d ; \

	.byte	0xa8, 0xcd, 0x48, 0x86 ; \

	.byte	0xac, 0xcd, 0xc8, 0xa6 ; \

	ldd	[%o0 + 0x20], %f4 ; \

	.byte	0xba, 0xcd, 0x76, 0x99 ; \