Changeset View

Standalone View

	Show First 20 Lines • Show All 191 Lines • ▼ Show 20 Lines
	static __inline void			static __inline void
	sbi_shutdown(void)			sbi_shutdown(void)
	{			{

	(void)SBI_CALL0(SBI_SHUTDOWN, 0);			(void)SBI_CALL0(SBI_SHUTDOWN, 0);
	}			}

	static __inline void			static __inline void
	sbi_clear_ipi(void)
	{

	(void)SBI_CALL0(SBI_CLEAR_IPI, 0);
	}

	static __inline void
	sbi_send_ipi(const unsigned long *hart_mask)			sbi_send_ipi(const unsigned long *hart_mask)
	{			{

	(void)SBI_CALL1(SBI_SEND_IPI, 0, (uint64_t)hart_mask);			(void)SBI_CALL1(SBI_SEND_IPI, 0, (uint64_t)hart_mask);
	}			}

	static __inline void			static __inline void
	sbi_remote_fence_i(const unsigned long *hart_mask)			sbi_remote_fence_i(const unsigned long *hart_mask)
	Show All 28 Lines