2 ** Copyright 2001, Travis Geiselbrecht. All rights reserved.
3 ** Distributed under the terms of the NewOS License.
8 #include <boot/stage2.h>
10 // layout of the iframe is defined in boot/sh4/vcpu.S
12 unsigned int page_fault_addr
;
75 // page table structures
78 unsigned int unused0
:11;
80 unsigned int unused1
:3;
89 unsigned int tlb_ent
:6;
96 #define EXCEPTION_PAGE_FAULT_READ 0xfe
97 #define EXCEPTION_PAGE_FAULT_WRITE 0xff
99 // can only be used in stage2
100 int vcpu_init(kernel_args
*ka
);