vm86context
struct vm86context x86bios_vmc;
struct vm86context vmc;
vm86_getpage(struct vm86context *vmc, int pagenum)
vm86_addpage(struct vm86context *vmc, int pagenum, vm_offset_t kva)
vm86_datacall(int intnum, struct vm86frame *vmf, struct vm86context *vmc)
vm86_getaddr(struct vm86context *vmc, u_short sel, u_short off)
vm86_getptr(struct vm86context *vmc, vm_offset_t kva, u_short *sel,
extern int vm86_datacall(int, struct vm86frame *, struct vm86context *);
extern vm_offset_t vm86_getpage(struct vm86context *, int);
extern vm_offset_t vm86_addpage(struct vm86context *, int, vm_offset_t);
extern int vm86_getptr(struct vm86context *, vm_offset_t, u_short *, u_short *);
extern vm_offset_t vm86_getaddr(struct vm86context *, u_short, u_short);