00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020 #ifndef _BTXV86_H_
00021 #define _BTXV86_H_
00022
00023 #include <sys/types.h>
00024
00025 #define V86_ADDR 0x10000
00026 #define V86_CALLF 0x20000
00027 #define V86_FLAGS 0x40000
00028
00029 struct __v86 {
00030 uint32_t ctl;
00031 uint32_t addr;
00032 uint32_t es;
00033 uint32_t ds;
00034 uint32_t fs;
00035 uint32_t gs;
00036 uint32_t eax;
00037 uint32_t ecx;
00038 uint32_t edx;
00039 uint32_t ebx;
00040 uint32_t efl;
00041 uint32_t ebp;
00042 uint32_t esi;
00043 uint32_t edi;
00044 };
00045
00046 extern struct __v86 __v86;
00047 void __v86int(void);
00048
00049 #define v86 __v86
00050 #define v86int __v86int
00051
00052 extern u_int32_t __base;
00053 extern u_int32_t __args;
00054
00055 #define PTOV(pa) ((caddr_t)(pa) - __base)
00056 #define VTOP(va) ((vm_offset_t)(va) + __base)
00057 #define VTOPSEG(va) (u_int16_t)(VTOP((caddr_t)va) >> 4)
00058 #define VTOPOFF(va) (u_int16_t)(VTOP((caddr_t)va) & 0xf)
00059
00060 void __exit(int) __attribute__((__noreturn__));
00061 void __exec(caddr_t, ...);
00062
00063 #endif