Changeset View

Standalone View

Show First 20 Lines • Show All 63 Lines • ▼ Show 20 Lines
#ifndef WITHOUT_CAPSICUM		#ifndef WITHOUT_CAPSICUM
#include <machine/vmm_dev.h>		#include <machine/vmm_dev.h>
#endif		#endif
#include <vmmapi.h>		#include <vmmapi.h>

#include "bhyverun.h"		#include "bhyverun.h"
#include "acpi.h"		#include "acpi.h"
#include "atkbdc.h"		#include "atkbdc.h"
		#include "bootrom.h"
#include "inout.h"		#include "inout.h"
#include "dbgport.h"		#include "dbgport.h"
#include "fwctl.h"		#include "fwctl.h"
#include "gdb.h"		#include "gdb.h"
#include "ioapic.h"		#include "ioapic.h"
#include "mem.h"		#include "mem.h"
#include "mevent.h"		#include "mevent.h"
#include "mptbl.h"		#include "mptbl.h"
▲ Show 20 Lines • Show All 1,072 Lines • ▼ Show 20 Lines	main(int argc, char *argv[])
error = init_msr();		error = init_msr();
if (error) {		if (error) {
fprintf(stderr, "init_msr error %d", error);		fprintf(stderr, "init_msr error %d", error);
exit(4);		exit(4);
}		}

init_mem();		init_mem();
init_inout();		init_inout();
		init_bootrom(ctx);
atkbdc_init(ctx);		atkbdc_init(ctx);
pci_irq_init(ctx);		pci_irq_init(ctx);
ioapic_init(ctx);		ioapic_init(ctx);

rtc_init(ctx, rtc_localtime);		rtc_init(ctx, rtc_localtime);
sci_init(ctx);		sci_init(ctx);

/*		/*
▲ Show 20 Lines • Show All 78 Lines • Show Last 20 Lines