Searched refs:poweroff (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/tools/riscv-pk/machine/
H A Dmtrap.h61 void poweroff(uint16_t code) __attribute((noreturn));
66 #define die(str, ...) ({ printm("%s:%d: " str "\n", __FILE__, __LINE__, ##__VA_ARGS__); poweroff(-1); })
H A Dmtrap.c91 poweroff(0);
249 void poweroff(uint16_t code) function

Completed in 27 milliseconds