Changeset View

Standalone View

	Show First 20 Lines • Show All 85 Lines • ▼ Show 20 Lines
	int			int
	smccc_arch_workaround_1(void)			smccc_arch_workaround_1(void)
	{			{

	KASSERT(smccc_version != SMCCC_VERSION_1_0,			KASSERT(smccc_version != SMCCC_VERSION_1_0,
	("SMCCC arch workaround 1 called with an invalid SMCCC interface"));			("SMCCC arch workaround 1 called with an invalid SMCCC interface"));
	return (psci_call(SMCCC_ARCH_WORKAROUND_1, 0, 0, 0));			return (psci_call(SMCCC_ARCH_WORKAROUND_1, 0, 0, 0));
	}			}

				int
				smccc_arch_workaround_2(bool enable)
				{

				KASSERT(smccc_version != SMCCC_VERSION_1_0,
				("SMCCC arch workaround 2 called with an invalid SMCCC interface"));
				return (psci_call(SMCCC_ARCH_WORKAROUND_2, enable ? 1 : 0, 0, 0));
				}