xref: /netbsd/sys/arch/i386/bioscall/biostramp.inc (revision bf9ec67e) 
1/*	$NetBSD: biostramp.inc,v 1.5 2002/01/23 15:05:33 rafal Exp $	*/
2/* This file is automatically generated by bin2asm.sh */
3/* Original file is 'biostramp.bin' */
4
5	.byte	0x55, 0x89, 0xe5, 0x56, 0x57, 0x53, 0x1e, 0x06
6	.byte	0x0f, 0xa0, 0x0f, 0xa8, 0x8b, 0x45, 0x08, 0x66
7	.byte	0xa3, 0xe0, 0x1f, 0x00, 0x00, 0x8b, 0x5d, 0x0c
8	.byte	0x8b, 0x43, 0x00, 0xa3, 0x4c, 0x1f, 0x00, 0x00
9	.byte	0x8b, 0x43, 0x04, 0xa3, 0x48, 0x1f, 0x00, 0x00
10	.byte	0x8b, 0x43, 0x08, 0xa3, 0x44, 0x1f, 0x00, 0x00
11	.byte	0x8b, 0x43, 0x0c, 0xa3, 0x40, 0x1f, 0x00, 0x00
12	.byte	0x8b, 0x43, 0x10, 0xa3, 0x3c, 0x1f, 0x00, 0x00
13	.byte	0x8b, 0x43, 0x14, 0xa3, 0x38, 0x1f, 0x00, 0x00
14	.byte	0x8b, 0x4b, 0x18, 0x9c, 0x58, 0x25, 0x2a, 0xf1
15	.byte	0xff, 0xff, 0x81, 0xe1, 0xd5, 0x0c, 0x00, 0x00
16	.byte	0x09, 0xc8, 0xa3, 0x34, 0x1f, 0x00, 0x00, 0xc7
17	.byte	0x05, 0x30, 0x1f, 0x00, 0x00, 0x00, 0x00, 0x00
18	.byte	0x00, 0x9c, 0x0f, 0x01, 0x05, 0xf0, 0x1f, 0x00
19	.byte	0x00, 0x8b, 0x35, 0xf2, 0x1f, 0x00, 0x00, 0xbf
20	.byte	0x50, 0x1f, 0x00, 0x00, 0xb9, 0x90, 0x00, 0x00
21	.byte	0x00, 0xfc, 0xf3, 0xa4, 0x66, 0xc7, 0x05, 0xea
22	.byte	0x1f, 0x00, 0x00, 0x8f, 0x00, 0xc7, 0x05, 0xec
23	.byte	0x1f, 0x00, 0x00, 0x50, 0x1f, 0x00, 0x00, 0x0f
24	.byte	0x01, 0x15, 0xea, 0x1f, 0x00, 0x00, 0xfa, 0x0f
25	.byte	0x01, 0x0d, 0xf6, 0x1f, 0x00, 0x00, 0x89, 0x25
26	.byte	0xe6, 0x1f, 0x00, 0x00, 0x89, 0x2d, 0xe2, 0x1f
27	.byte	0x00, 0x00, 0xbc, 0x18, 0x1f, 0x00, 0x00, 0xbd
28	.byte	0x00, 0x00, 0x00, 0x00, 0x0f, 0x20, 0xd8, 0xa3
29	.byte	0xfc, 0x1f, 0x00, 0x00, 0x0f, 0x20, 0xc0, 0x25
30	.byte	0xff, 0xff, 0xff, 0x7f, 0x0f, 0x22, 0xc0, 0x31
31	.byte	0xc0, 0x0f, 0x22, 0xd8, 0x66, 0xbb, 0x68, 0x00
32	.byte	0x8e, 0xdb, 0x8e, 0xc3, 0x8e, 0xe3, 0x8e, 0xeb
33	.byte	0xea, 0xe7, 0x10, 0x00, 0x00, 0x60, 0x00, 0x0f
34	.byte	0x20, 0xc0, 0x66, 0x83, 0xe0, 0xfe, 0x0f, 0x22
35	.byte	0xc0, 0x66, 0xea, 0xf9, 0x00, 0x00, 0x00, 0x00
36	.byte	0x01, 0x31, 0xc0, 0x8e, 0xd0, 0x66, 0x8c, 0xc8
37	.byte	0x8e, 0xc0, 0x8e, 0xe0, 0x8e, 0xe8, 0x8e, 0xd8
38	.byte	0x67, 0x0f, 0x01, 0x1d, 0x40, 0x02, 0x00, 0x00
39	.byte	0x67, 0x66, 0x8b, 0x3d, 0x38, 0x0f, 0x00, 0x00
40	.byte	0x67, 0x66, 0x8b, 0x35, 0x3c, 0x0f, 0x00, 0x00
41	.byte	0x67, 0x66, 0x8b, 0x15, 0x40, 0x0f, 0x00, 0x00
42	.byte	0x67, 0x66, 0x8b, 0x0d, 0x44, 0x0f, 0x00, 0x00
43	.byte	0x67, 0x66, 0x8b, 0x1d, 0x48, 0x0f, 0x00, 0x00
44	.byte	0x67, 0xa0, 0xe0, 0x0f, 0x00, 0x00, 0x67, 0xa2
45	.byte	0x5d, 0x01, 0x00, 0x00, 0x66, 0xea, 0x4c, 0x01
46	.byte	0x00, 0x00, 0x00, 0x01, 0x67, 0x66, 0xa1, 0x34
47	.byte	0x0f, 0x00, 0x00, 0x50, 0x9d, 0x67, 0x66, 0xa1
48	.byte	0x4c, 0x0f, 0x00, 0x00, 0xcd, 0xff, 0x9c, 0x67
49	.byte	0x66, 0xa3, 0x4c, 0x0f, 0x00, 0x00, 0x67, 0x66
50	.byte	0x89, 0x1d, 0x48, 0x0f, 0x00, 0x00, 0x67, 0x66
51	.byte	0x89, 0x0d, 0x44, 0x0f, 0x00, 0x00, 0x67, 0x66
52	.byte	0x89, 0x15, 0x40, 0x0f, 0x00, 0x00, 0x67, 0x66
53	.byte	0x89, 0x35, 0x3c, 0x0f, 0x00, 0x00, 0x67, 0x66
54	.byte	0x89, 0x3d, 0x38, 0x0f, 0x00, 0x00, 0x66, 0x58
55	.byte	0x67, 0x66, 0xa3, 0x34, 0x0f, 0x00, 0x00, 0x67
56	.byte	0x66, 0x8c, 0x05, 0x30, 0x0f, 0x00, 0x00, 0xfa
57	.byte	0x0f, 0x20, 0xc0, 0x66, 0x83, 0xc8, 0x01, 0x0f
58	.byte	0x22, 0xc0, 0x66, 0xea, 0xb2, 0x11, 0x00, 0x00
59	.byte	0x08, 0x00, 0x66, 0xbb, 0x10, 0x00, 0x8e, 0xdb
60	.byte	0x8e, 0xd3, 0x8e, 0xc3, 0xa1, 0xfc, 0x1f, 0x00
61	.byte	0x00, 0x0f, 0x22, 0xd8, 0x0f, 0x20, 0xc0, 0x0d
62	.byte	0x00, 0x00, 0x00, 0x80, 0x0f, 0x22, 0xc0, 0x0f
63	.byte	0x01, 0x15, 0xf0, 0x1f, 0x00, 0x00, 0x8b, 0x25
64	.byte	0xe6, 0x1f, 0x00, 0x00, 0x8b, 0x2d, 0xe2, 0x1f
65	.byte	0x00, 0x00, 0x0f, 0x01, 0x1d, 0xf6, 0x1f, 0x00
66	.byte	0x00, 0x8b, 0x5d, 0x0c, 0xa1, 0x4c, 0x1f, 0x00
67	.byte	0x00, 0x89, 0x43, 0x00, 0xa1, 0x48, 0x1f, 0x00
68	.byte	0x00, 0x89, 0x43, 0x04, 0xa1, 0x44, 0x1f, 0x00
69	.byte	0x00, 0x89, 0x43, 0x08, 0xa1, 0x40, 0x1f, 0x00
70	.byte	0x00, 0x89, 0x43, 0x0c, 0xa1, 0x3c, 0x1f, 0x00
71	.byte	0x00, 0x89, 0x43, 0x10, 0xa1, 0x38, 0x1f, 0x00
72	.byte	0x00, 0x89, 0x43, 0x14, 0xa1, 0x34, 0x1f, 0x00
73	.byte	0x00, 0x89, 0x43, 0x18, 0xa1, 0x30, 0x1f, 0x00
74	.byte	0x00, 0x89, 0x43, 0x1c, 0x9d, 0x0f, 0xa9, 0x0f
75	.byte	0xa1, 0x07, 0x1f, 0x5b, 0x5f, 0x5e, 0xc9, 0xc3
76	.byte	0x90, 0x8d, 0xb4, 0x26, 0x00, 0x00, 0x00, 0x00
77	.byte	0xff, 0x03, 0x00, 0x00, 0x00, 0x00, 0x8d, 0x76
78	.byte	0x00, 0x8d, 0xbc, 0x27, 0x00, 0x00, 0x00, 0x00
79	.byte	0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
80
81/* Total size = 592 -> 600 */
82/* End of File */
83