Karg  v0.2.0
The kernel of CargOS
arch.h
Go to the documentation of this file.
1 #pragma once
2 
3 static inline void wait_for_intr(void) { asm volatile("wfi"); }