1234567891011121314151617181920212223 |
- #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");
- }
|