Searched refs:SBI_EXT_0_1_SHUTDOWN (Results 1 – 2 of 2) sorted by relevance
23 SBI_EXT_0_1_SHUTDOWN = 0x8, enumerator
103 sbi_ecall(SBI_EXT_0_1_SHUTDOWN, 0, 0, 0, 0, 0, 0, 0); in sbi_shutdown()