#include <deblin/vhal.h>
#include <time.h>
#include <pthread.h>
#include <rtl_ipc.h>
#include <semaphore.h>
#include <rtl_barrier.h>
#include <rtl_conf.h>
#include <rtl_printf.h>
#include <unistd.h>


static unsigned long valor10=0x0;


pthread_t thread10;

extern unsigned long mprot_prueba;
extern unsigned long context_mprot_prueba;
void *task10(void *arg)
{
  int fd;
#if _RTL_POSIX_IO 
  fd = open("/dev/mem",0);
  lseek(fd,0xb8000,0);
  write(fd,"pxrxuxexbxax",12);
  close(fd);
#endif
  while(1)
  {
    rtl_printf("Antes del Acceso a otro contexto\n");
    context_mprot_prueba = 4;
    rtl_printf("Despues del Acceso a otro contexto\n");
    usleep(1000000);
  };
  
  return 0;
};