Changeset View

Standalone View

	Show First 20 Lines • Show All 296 Lines • ▼ Show 20 Lines

	void			void
	swi_vm(void *v)			swi_vm(void *v)
	{			{

	if (busdma_swi_pending != 0)			if (busdma_swi_pending != 0)
	busdma_swi();			busdma_swi();
	}			}

				void
				cpu_core_sync(void)
				{
				/*
				* Do nothing. According to ARM ARMv8 D1.11 Exception return
				* If FEAT_ExS is not implemented, or if FEAT_ExS is
				* implemented and the SCTLR_ELx.EOS field is set, exception
				* return from ELx is a context synchronization event.
				*/
				}