int main(void){ __asm__ __volatile__ ( "MCR p15, 0, Rd, c7, c0, 4" );}
void wfi(void){ __asm__ __volatile__ ("MCR p15,0,%0,c7,c0,4" ::"r"(0));}