You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
23 lines
434 B
23 lines
434 B
#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");
|
|
}
|
|
|