pok_ret_t pok_port_sampling_id (char* name,
pok_port_id_t* id,
const pok_port_direction_t direction)
{
return (pok_syscall3 (POK_SYSCALL_MIDDLEWARE_SAMPLING_ID,
(uint32_t) name,
(uint32_t) id,
(uint32_t) direction));
}
pok_ret_t pok_port_sampling_write (const pok_port_id_t id,
const void* data,
const pok_port_size_t len)
{
return (pok_syscall3 (POK_SYSCALL_MIDDLEWARE_SAMPLING_WRITE,
(uint32_t) id,
(uint32_t) data,
(uint32_t) len));
}
void user_hello_part1 ()
{
/*
printf( "[PART1] Hello Worlds\n");
*/
uint32_t size;
uint32_t stack_size;
uint32_t base_addr;
char buff[] = {"[PART1] Hello Worlds\n"};
int pos = sizeof (buff);
pok_syscall2 (POK_SYSCALL_CONSWRITE, (uint32_t)buff, pos);
pok_syscall3 (POK_SYSCALL_PARTITION_GET_MEMORY_INFO, (uint32_t)&size, (uint32_t)&base_addr, (uint32_t)&stack_size);
printf ("size: 0x%x, base_add: 0x%x, stack_size: 0x%x\n", size, base_addr, stack_size);
}