*/
shared_info_t *HYPERVISOR_shared_info;
-extern char shared_info_page[PAGE_SIZE];
-
void *device_tree;
/*
*/
void arch_init(void *dtb_pointer, uint32_t physical_offset)
{
- struct xen_add_to_physmap xatp;
int r;
memset(&__bss_start, 0, &_end - &__bss_start);
device_tree = dtb_pointer;
/* Map shared_info page */
- xatp.domid = DOMID_SELF;
- xatp.idx = 0;
- xatp.space = XENMAPSPACE_shared_info;
- xatp.gpfn = virt_to_pfn(shared_info_page);
- if (HYPERVISOR_memory_op(XENMEM_add_to_physmap, &xatp) != 0)
- BUG();
- HYPERVISOR_shared_info = (struct shared_info *)shared_info_page;
+ HYPERVISOR_shared_info = map_shared_info(NULL);
/* Fill in start_info */
get_console(NULL);
((pte_t) {(unsigned long)(_x), (unsigned long)(_x>>32)}); })
#endif
-static
-shared_info_t *map_shared_info(unsigned long pa)
-{
- int rc;
-
- if ( (rc = HYPERVISOR_update_va_mapping(
- (unsigned long)shared_info, __pte(pa | 7), UVMF_INVLPG)) )
- {
- printk("Failed to map shared_info!! rc=%d\n", rc);
- do_exit();
- }
- return (shared_info_t *)shared_info;
-}
-
static inline void fpu_init(void) {
asm volatile("fninit");
}
#ifdef CONFIG_PARAVIRT
#define hpc_init()
+shared_info_t *map_shared_info(void *p)
+{
+ int rc;
+ start_info_t *si = p;
+ unsigned long pa = si->shared_info;
+
+ if ( (rc = HYPERVISOR_update_va_mapping((unsigned long)shared_info,
+ __pte(pa | 7), UVMF_INVLPG)) )
+ {
+ printk("Failed to map shared_info!! rc=%d\n", rc);
+ do_exit();
+ }
+ return (shared_info_t *)shared_info;
+}
+
static void get_cmdline(void *p)
{
start_info_t *si = p;
get_console(par);
get_xenbus(par);
get_cmdline(par);
+
+ /* Grab the shared_info pointer and put it in a safe place. */
+ HYPERVISOR_shared_info = map_shared_info(par);
+
si = par;
memcpy(&start_info, si, sizeof(*si));
printk("Xen Minimal OS!\n");
printk(" start_info: %p(VA)\n", si);
printk(" nr_pages: 0x%lx\n", si->nr_pages);
- printk(" shared_inf: 0x%08lx(MA)\n", si->shared_info);
+ printk(" shared_inf: %p(VA)\n", HYPERVISOR_shared_info);
printk(" pt_base: %p(VA)\n", (void *)si->pt_base);
printk("nr_pt_frames: 0x%lx\n", si->nr_pt_frames);
printk(" mfn_list: %p(VA)\n", (void *)si->mfn_list);
printk(" cmd_line: %s\n", cmdline);
printk(" stack: %p-%p\n", stack, stack + sizeof(stack));
- /* Grab the shared_info pointer and put it in a safe place. */
- HYPERVISOR_shared_info = map_shared_info(start_info.shared_info);
-
start_kernel();
}
#include <mini-os/lib.h>
#include <mini-os/hypervisor.h>
#include <mini-os/events.h>
+#include <xen/memory.h>
#define active_evtchns(cpu,sh,idx) \
((sh)->evtchn_pending[idx] & \
int in_callback;
#ifndef CONFIG_PARAVIRT
+extern shared_info_t shared_info;
+
int hvm_get_parameter(int idx, uint64_t *value)
{
struct xen_hvm_param xhv;
xhv.value = value;
return HYPERVISOR_hvm_op(HVMOP_set_param, &xhv);
}
+
+shared_info_t *map_shared_info(void *p)
+{
+ struct xen_add_to_physmap xatp;
+
+ xatp.domid = DOMID_SELF;
+ xatp.idx = 0;
+ xatp.space = XENMAPSPACE_shared_info;
+ xatp.gpfn = virt_to_pfn(&shared_info);
+ if ( HYPERVISOR_memory_op(XENMEM_add_to_physmap, &xatp) != 0 )
+ BUG();
+
+ return &shared_info;
+}
#endif
void do_hypervisor_callback(struct pt_regs *regs)