hi all, I have write a simple example in the server side:
struct node{ l4_threadid_t sender; unsigned short flags; struct node* next; }THREADNODE, *PTHREADNODE;
typedef struct node{ char buffer[4096]; PTHREADNODE head; }FF, *PFF;
int sender_is_in_queue(PFF ff, l4_threadid_t sender) { PTHREADNODE p; p = ff->head; while(p != NULL && !thread_equal(p->sender, sender)) { p = p->next; } if (p == NULL) return -1; else return 0; } ......
there not error when I compile the server source file, but when I run them:
__handle_pf(): L4RM: page fault: no entry in region list
I use objdump command to find the error and find it was in the place:
p = ff->head;
could someone give me some advice?
thank you and bestwishes!