C++ (Cpp) psci_reset Exemples

Exemple #1

Fichier : vm_machdep.c Projet : FreeBSDFoundation/freebsd

void
cpu_reset(void)
{

	psci_reset();

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

Exemple #2

Fichier : vm_machdep.c Projet : 2trill2spill/freebsd

void
cpu_reset(void)
{

#ifdef DEV_PSCI
	psci_reset();
#endif

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