// Block a thread forever
// we do this by making an unimplemented system call.
static void
thread_block(void){
seL4_MessageInfo_t tag = seL4_MessageInfo_new(0, 0, 0, 1);
seL4_SetTag(tag);
seL4_SetMR(0, 100);
seL4_Call(SYSCALL_ENDPOINT_SLOT, tag);
}
int call_func_ta(int ta_num,int func_id,int simp_arg,void *data,size_t size,seL4_Word *res){
int length = size/(double)sizeof(seL4_Word);
if((length+5) > seL4_MsgMaxLength){
printf("Params too large. operation failed\n");
return -1;
}else{
seL4_MessageInfo_t tag = seL4_MessageInfo_new(0, 0, 0, 5+length);
seL4_SetTag(tag);
seL4_SetMR(0, CALL_FUNC_CMD);
seL4_SetMR(1, ta_num);
seL4_SetMR(2,func_id);
seL4_SetMR(3,simp_arg);
seL4_SetMR(4,length);
seL4_Word* blockptr = (seL4_Word*)data;
for(int i =0; i < length;++i){
seL4_SetMR(i+5,*blockptr);
blockptr++;
}
seL4_Call(TEE_EP_CPTR,tag);
int res_val = seL4_GetMR(0);
if(res != NULL){
int len = seL4_GetMR(1);
for(int i =0; i < len;++i){
res[i] = seL4_GetMR(i+2);
}
}
return res_val;
}
}
long
sys_brk(va_list ap)
{
//printf("sysbrk\n");
uintptr_t newbrk = va_arg(ap, uintptr_t);
//printf("newbrk before = %d\n",newbrk);
seL4_MessageInfo_t tag = seL4_MessageInfo_new(seL4_NoFault, 0, 0, 2);
seL4_SetTag(tag);
seL4_SetMR(0, SOS_SYSCALL_SYSBRK);
seL4_SetMR(1, newbrk);
seL4_MessageInfo_t message = seL4_Call(SYSCALL_ENDPOINT_SLOT, tag);
newbrk = seL4_MessageInfo_get_label(message);
//printf("newbrk result = %d\n",newbrk);
return newbrk;
}
int start_ta(char *ta_name){
seL4_Word msg;
int arg_len = strlen(ta_name);
seL4_MessageInfo_t tag = seL4_MessageInfo_new(0, 0, 0, 2+arg_len);
seL4_SetTag(tag);
seL4_SetMR(0, START_TA_CMD);
printf("client-os: Calling TEE-CONTAINER to start TA \n");
seL4_Word *ptr = (seL4_Word*)ta_name;
for(int i=0;i < arg_len;++i){
seL4_SetMR(i+2,*ptr);
ptr++;
}
ptr = ta_name;
seL4_SetMR(1,arg_len);
seL4_Call(TEE_EP_CPTR,tag);
msg = seL4_GetMR(0);
return msg;
}
