Changeset View

Standalone View

	Show First 20 Lines • Show All 96 Lines • ▼ Show 20 Lines

	/*			/*
	* The interface type of the interrupt handler entry point cannot be			* The interface type of the interrupt handler entry point cannot be
	* expressed in C. Use simplest non-variadic function type as an			* expressed in C. Use simplest non-variadic function type as an
	* approximation.			* approximation.
	*/			*/
	typedef void alias_for_inthand_t(void);			typedef void alias_for_inthand_t(void);

	/*
	* Returns the maximum physical address that can be used with the
	* current system.
	*/
	static __inline vm_paddr_t
	cpu_getmaxphyaddr(void)
	{
	#if defined(__i386__) && !defined(PAE)
	return (0xffffffff);
	#else
	return ((1ULL << cpu_maxphyaddr) - 1);
	#endif
	}

	bool acpi_get_fadt_bootflags(uint16_t *flagsp);			bool acpi_get_fadt_bootflags(uint16_t *flagsp);
	void *alloc_fpusave(int flags);			void *alloc_fpusave(int flags);
	void busdma_swi(void);			void busdma_swi(void);
				vm_paddr_t cpu_getmaxphyaddr(void);
	bool cpu_mwait_usable(void);			bool cpu_mwait_usable(void);
	void cpu_probe_amdc1e(void);			void cpu_probe_amdc1e(void);
	void cpu_setregs(void);			void cpu_setregs(void);
	bool disable_wp(void);			bool disable_wp(void);
	void restore_wp(bool old_wp);			void restore_wp(bool old_wp);
	void dump_add_page(vm_paddr_t);			void dump_add_page(vm_paddr_t);
	void dump_drop_page(vm_paddr_t);			void dump_drop_page(vm_paddr_t);
	void finishidentcpu(void);			void finishidentcpu(void);
	Show All 25 Lines