psci.c

Go to the documentation of this file.

 
#include <core/system.h>
#include <core/arch.h>
 
/* The PSCI functions' IDs. */
#define PSCI_SYSTEM_OFF     0x84000008
#define PSCI_SYSTEM_RESET   0x84000009

static void psci(uint64_t fn)
{
    register uint64_t x0 asm("x0") = fn;
    asm volatile("hvc #0" : "+r"(x0) :: "memory");
}
 
/* Restarts the machine. */
void arch_reboot(void)
{
    psci(PSCI_SYSTEM_RESET);
}
 
/* Powers off the machine, or halts it if the firmware doesn't. */
void arch_poweroff(void)
{
    psci(PSCI_SYSTEM_OFF);
    arch_halt();
}
 
/* Halts the CPU for good, with interrupts masked. */
void arch_halt(void)
{
    arch_interrupts_disable();
 
    for (;;)
        asm volatile("wfi");
}