2 #include <asm/unistd.h>
3 #include <sys/syscall.h>
8 void flush_icache(cell start, cell len);
10 #define UAP_STACK_POINTER(ucontext) (((ucontext_t *)ucontext)->uc_mcontext.arm_sp)
11 #define UAP_PROGRAM_COUNTER(ucontext) (((ucontext_t *)ucontext)->uc_mcontext.arm_pc)