NetBSD/sys/arch/i386/apm_init/biostramp.inc
jtk 04f1e23fe1 BIOS trampoline is a static beast; generate it in the sources like
syscalls.h & friends, and include it when needed from the source directory.
1996-09-13 00:02:36 +00:00

81 lines
4.0 KiB
SQL

/* This file is automatically generated by bin2asm.sh */
/* Original file is 'biostramp' */
.byte 0x55, 0x89, 0xe5, 0x56, 0x57, 0x53, 0x1e, 0x06
.byte 0x0f, 0xa0, 0x0f, 0xa8, 0x8b, 0x45, 0x08, 0x66
.byte 0xa3, 0xe0, 0x1f, 0x00, 0x00, 0x8b, 0x5d, 0x0c
.byte 0x66, 0x8b, 0x03, 0x66, 0xa3, 0x86, 0x1f, 0x00
.byte 0x00, 0x66, 0x8b, 0x43, 0x02, 0x66, 0xa3, 0x84
.byte 0x1f, 0x00, 0x00, 0x66, 0x8b, 0x43, 0x04, 0x66
.byte 0xa3, 0x82, 0x1f, 0x00, 0x00, 0x66, 0x8b, 0x43
.byte 0x06, 0x66, 0xa3, 0x80, 0x1f, 0x00, 0x00, 0x66
.byte 0x8b, 0x43, 0x08, 0x66, 0xa3, 0x7e, 0x1f, 0x00
.byte 0x00, 0x66, 0x8b, 0x43, 0x0a, 0x66, 0xa3, 0x7c
.byte 0x1f, 0x00, 0x00, 0x66, 0x8b, 0x4b, 0x0c, 0x9c
.byte 0x58, 0x25, 0x2a, 0xf1, 0xff, 0xff, 0x81, 0xe1
.byte 0xd5, 0x0c, 0x00, 0x00, 0x09, 0xc8, 0x66, 0xa3
.byte 0x7a, 0x1f, 0x00, 0x00, 0x9c, 0x0f, 0x01, 0x05
.byte 0xf0, 0x1f, 0x00, 0x00, 0x8b, 0x35, 0xf2, 0x1f
.byte 0x00, 0x00, 0xbf, 0x88, 0x1f, 0x00, 0x00, 0xb9
.byte 0x58, 0x00, 0x00, 0x00, 0xfc, 0xf3, 0xa4, 0x66
.byte 0xc7, 0x05, 0xea, 0x1f, 0x00, 0x00, 0x57, 0x00
.byte 0xc7, 0x05, 0xec, 0x1f, 0x00, 0x00, 0x88, 0x1f
.byte 0x00, 0x00, 0x0f, 0x01, 0x15, 0xea, 0x1f, 0x00
.byte 0x00, 0xfa, 0x0f, 0x01, 0x0d, 0xf6, 0x1f, 0x00
.byte 0x00, 0x89, 0x25, 0xe6, 0x1f, 0x00, 0x00, 0x89
.byte 0x2d, 0xe2, 0x1f, 0x00, 0x00, 0xbc, 0x68, 0x1f
.byte 0x00, 0x00, 0xbd, 0x00, 0x00, 0x00, 0x00, 0x0f
.byte 0x20, 0xd8, 0xa3, 0xfc, 0x1f, 0x00, 0x00, 0x0f
.byte 0x20, 0xc0, 0x25, 0xff, 0xff, 0xff, 0x7f, 0x0f
.byte 0x22, 0xc0, 0x31, 0xc0, 0x0f, 0x22, 0xd8, 0x66
.byte 0xbb, 0x50, 0x00, 0x66, 0x8e, 0xdb, 0x66, 0x8e
.byte 0xc3, 0x66, 0x8e, 0xe3, 0x66, 0x8e, 0xeb, 0xea
.byte 0xee, 0x10, 0x00, 0x00, 0x48, 0x00, 0x0f, 0x20
.byte 0xc0, 0x66, 0x83, 0xe0, 0xfe, 0x0f, 0x22, 0xc0
.byte 0x66, 0xea, 0x00, 0x01, 0x00, 0x00, 0x00, 0x01
.byte 0x31, 0xc0, 0x66, 0x8e, 0xd0, 0x66, 0x8c, 0xc8
.byte 0x66, 0x8e, 0xc0, 0x66, 0x8e, 0xe0, 0x66, 0x8e
.byte 0xe8, 0x66, 0x8e, 0xd8, 0x67, 0x0f, 0x01, 0x1d
.byte 0x40, 0x02, 0x00, 0x00, 0x67, 0x8b, 0x3d, 0x7c
.byte 0x0f, 0x00, 0x00, 0x67, 0x8b, 0x35, 0x7e, 0x0f
.byte 0x00, 0x00, 0x67, 0x8b, 0x15, 0x80, 0x0f, 0x00
.byte 0x00, 0x67, 0x8b, 0x0d, 0x82, 0x0f, 0x00, 0x00
.byte 0x67, 0x8b, 0x1d, 0x84, 0x0f, 0x00, 0x00, 0x67
.byte 0x8a, 0x05, 0xe0, 0x0f, 0x00, 0x00, 0x67, 0x88
.byte 0x05, 0x64, 0x01, 0x00, 0x00, 0x66, 0xea, 0x55
.byte 0x01, 0x00, 0x00, 0x00, 0x01, 0x67, 0xa1, 0x7a
.byte 0x0f, 0x00, 0x00, 0x50, 0x9d, 0x67, 0xa1, 0x86
.byte 0x0f, 0x00, 0x00, 0xcd, 0xff, 0x9c, 0x67, 0xa3
.byte 0x86, 0x0f, 0x00, 0x00, 0x67, 0x89, 0x1d, 0x84
.byte 0x0f, 0x00, 0x00, 0x67, 0x89, 0x0d, 0x82, 0x0f
.byte 0x00, 0x00, 0x67, 0x89, 0x15, 0x80, 0x0f, 0x00
.byte 0x00, 0x67, 0x89, 0x35, 0x7e, 0x0f, 0x00, 0x00
.byte 0x67, 0x89, 0x3d, 0x7c, 0x0f, 0x00, 0x00, 0x58
.byte 0x67, 0xa3, 0x7a, 0x0f, 0x00, 0x00, 0xfa, 0x0f
.byte 0x20, 0xc0, 0x66, 0x83, 0xc8, 0x01, 0x0f, 0x22
.byte 0xc0, 0x66, 0xea, 0xa9, 0x11, 0x00, 0x00, 0x08
.byte 0x00, 0x66, 0xbb, 0x10, 0x00, 0x66, 0x8e, 0xdb
.byte 0x66, 0x8e, 0xd3, 0x66, 0x8e, 0xc3, 0xa1, 0xfc
.byte 0x1f, 0x00, 0x00, 0x0f, 0x22, 0xd8, 0x0f, 0x20
.byte 0xc0, 0x0d, 0x00, 0x00, 0x00, 0x80, 0x0f, 0x22
.byte 0xc0, 0x0f, 0x01, 0x15, 0xf0, 0x1f, 0x00, 0x00
.byte 0x8b, 0x25, 0xe6, 0x1f, 0x00, 0x00, 0x8b, 0x2d
.byte 0xe2, 0x1f, 0x00, 0x00, 0x0f, 0x01, 0x1d, 0xf6
.byte 0x1f, 0x00, 0x00, 0x8b, 0x5d, 0x0c, 0x66, 0xa1
.byte 0x86, 0x1f, 0x00, 0x00, 0x66, 0x89, 0x03, 0x66
.byte 0xa1, 0x84, 0x1f, 0x00, 0x00, 0x66, 0x89, 0x43
.byte 0x02, 0x66, 0xa1, 0x82, 0x1f, 0x00, 0x00, 0x66
.byte 0x89, 0x43, 0x04, 0x66, 0xa1, 0x80, 0x1f, 0x00
.byte 0x00, 0x66, 0x89, 0x43, 0x06, 0x66, 0xa1, 0x7e
.byte 0x1f, 0x00, 0x00, 0x66, 0x89, 0x43, 0x08, 0x66
.byte 0xa1, 0x7c, 0x1f, 0x00, 0x00, 0x66, 0x89, 0x43
.byte 0x0a, 0x66, 0xa1, 0x7a, 0x1f, 0x00, 0x00, 0x66
.byte 0x89, 0x43, 0x0c, 0x9d, 0x0f, 0xa9, 0x0f, 0xa1
.byte 0x07, 0x1f, 0x5b, 0x5f, 0x5e, 0xc9, 0xc3, 0x00
.byte 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
.byte 0xff, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
.byte 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
/* Total size = 584 -> 592 */
/* End of File */