blob: a436391dd8bb59d9e7da399f40b9c391ca31c918 [file] [log] [blame]
#include <stdio.h>
#include "RP2040.h"
#include "pico/stdio.h"
__STATIC_FORCEINLINE int some_function(int i) {
return __CLZ(i);
}
static bool pendsv_called;
void PendSV_Handler(void) {
pendsv_called = true;
}
int main(void) {
stdio_init_all();
for(int i=0;i<10;i++) {
printf("%d %d\n", i, some_function(i));
}
SCB->ICSR = SCB_ICSR_PENDSVSET_Msk;
puts(pendsv_called ? "SUCCESS" : "FAILURE");
}