C++ (Cpp) psci_resetの例

コード例 #1

ファイル: vm_machdep.c プロジェクト: FreeBSDFoundation/freebsd

void
cpu_reset(void)
{

	psci_reset();

	printf("cpu_reset failed");
	while(1)
		__asm volatile("wfi" ::: "memory");
}

コード例 #2

ファイル: vm_machdep.c プロジェクト: 2trill2spill/freebsd

void
cpu_reset(void)
{

#ifdef DEV_PSCI
	psci_reset();
#endif

	printf("cpu_reset failed");
	while(1)
		__asm volatile("wfi" ::: "memory");
}