示例#1
0
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));
}
示例#2
0
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));
}
示例#3
0
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);
}