Changeset View

Standalone View

	Show All 33 Lines
	#error "do not #include machine/xen/xen-os.h, #include xen/xen-os.h instead"			#error "do not #include machine/xen/xen-os.h, #include xen/xen-os.h instead"
	#endif			#endif

	/* Xen/ARM requires write-back/cached, so this is the correct setting */			/* Xen/ARM requires write-back/cached, so this is the correct setting */
	#define VM_MEMATTR_XEN VM_MEMATTR_WRITE_BACK			#define VM_MEMATTR_XEN VM_MEMATTR_WRITE_BACK

	#ifndef __ASSEMBLY__			#ifndef __ASSEMBLY__

				/* Right now the device-tree is the only implemented detection method */
				#define xen_early_probe() xen_dt_probe()

				/* Early initializer, returns success/failure identical to xen_domain() */
				extern int xen_dt_probe(void);

	#define PCPU_ID_GET(cpu) (cpu)			#define PCPU_ID_GET(cpu) (cpu)

	static inline bool			static inline bool
	xen_pv_shutdown_handler(void)			xen_pv_shutdown_handler(void)
	{			{
	/* PV shutdown handler are always supported on ARM */			/* PV shutdown handler are always supported on ARM */
	return (true);			return (true);
	}			}
	Show All 27 Lines