Hello, Ive been having some problems while trying to request a page from sigma0. I have included the source code ... any help ?
many thanks!
------[ source begins here ]------ #include <l4/types.h> #include <l4/syscalls.h> #include <l4/ipc.h> #include <stdio.h>
#define SIGMA0_ID 4
void main(void) { l4_threadid_t sigma0; l4_msgdope_t msg, result; dword_t addr, type, foo, *r_add;
addr = 0x80000; type = L4_IPC_SHORT_MSG;
sigma0.id.task = SIGMA0_ID; sigma0.id.lthread = 0;
r_add = 0x0;
while(r_add == 0x0) { addr += 4096; /* pasamos a la siguiente pagina de 4K */ printf("Vamos a pedir la region de memoria 0x%x\n", addr);
l4_i386_ipc_send(sigma0,(void *) type, addr, addr, L4_IPC_NEVER, &result);
printf("ipc enviado ..."); l4_i386_ipc_receive(sigma0, L4_IPC_MAPMSG(addr, 4096), r_add, &foo, L4_IPC_NEVER, &result); printf("%p recivido\n", r_add); }
*r_add = 'a'; r_add++; *r_add = 0x7; r_add --; if(*r_add == 'a') printf("BINGO!\n"); printf("Done!\n"); }
Cervi~no Ulises kermit@tower.com.ar ulises@rosario.linux.org.ar ............................................................................... "Contrary to popular opinion, Unix is user friendly, It just happens to be very selective about who it makes friends with."
Hello, Ive been having some problems while trying to request a page from sigma0. I have included the source code ... any help ?
many thanks!
Never mind, I made it work. Thanks anyway.
Cervi~no Ulises kermit@tower.com.ar ulises@rosario.linux.org.ar ............................................................................... "Contrary to popular opinion, Unix is user friendly, It just happens to be very selective about who it makes friends with."
l4-hackers@os.inf.tu-dresden.de