#include "stdio.h" #include "tools.h" void hw_reset() { *(volatile unsigned*)0x900A0008=2; } int timer(int timesec) { volatile i=timesec*1000; int first=1; while(i>0 && !any_key_pressed()) { if(!(i%1000)) { if(first) first=0; else setConsoleCol(getConsoleCol()-1); dispi((i-1)/1000,0,0); } i--; } return i; } void wait(int timesec) { volatile i; for(i=0;i>1; mask=mask>>1; } return data; } int nbbits(unsigned int mask) { int n=0; while(mask) { if(mask&0b1) n++; mask=mask>>1; } return n; }