82 	xiocb.plist.xiocb_cpuctl.cpu_number = cpu;  in cfe_cpu_start()
83 	xiocb.plist.xiocb_cpuctl.cpu_command = CFE_CPU_CMD_START;  in cfe_cpu_start()
84 	xiocb.plist.xiocb_cpuctl.gp_val = gp;  in cfe_cpu_start()
85 	xiocb.plist.xiocb_cpuctl.sp_val = sp;  in cfe_cpu_start()
86 	xiocb.plist.xiocb_cpuctl.a1_val = a1;  in cfe_cpu_start()
87 	xiocb.plist.xiocb_cpuctl.start_addr = (long) fn;  in cfe_cpu_start()
103 	xiocb.plist.xiocb_cpuctl.cpu_number = cpu;  in cfe_cpu_stop()
104 	xiocb.plist.xiocb_cpuctl.cpu_command = CFE_CPU_CMD_STOP;  in cfe_cpu_stop()
120 	xiocb.plist.xiocb_envbuf.enum_idx = idx;  in cfe_enumenv()
121 	xiocb.plist.xiocb_envbuf.name_ptr = XPTR_FROM_NATIVE(name);  in cfe_enumenv()
122 	xiocb.plist.xiocb_envbuf.name_length = namelen;  in cfe_enumenv()
123 	xiocb.plist.xiocb_envbuf.val_ptr = XPTR_FROM_NATIVE(val);  in cfe_enumenv()
124 	xiocb.plist.xiocb_envbuf.val_length = vallen;  in cfe_enumenv()
141 	xiocb.plist.xiocb_meminfo.mi_idx = idx;  in cfe_enummem()
148 	*start = xiocb.plist.xiocb_meminfo.mi_addr;  in cfe_enummem()
149 	*length = xiocb.plist.xiocb_meminfo.mi_size;  in cfe_enummem()
150 	*type = xiocb.plist.xiocb_meminfo.mi_type;  in cfe_enummem()
164 	xiocb.plist.xiocb_exitstat.status = status;  in cfe_exit()
195 	xiocb.plist.xiocb_buffer.buf_offset = 0;  in cfe_getdevinfo()
196 	xiocb.plist.xiocb_buffer.buf_ptr = XPTR_FROM_NATIVE(name);  in cfe_getdevinfo()
197 	xiocb.plist.xiocb_buffer.buf_length = strlen(name);  in cfe_getdevinfo()
203 	return xiocb.plist.xiocb_buffer.buf_ioctlcmd;  in cfe_getdevinfo()
217 	xiocb.plist.xiocb_envbuf.enum_idx = 0;  in cfe_getenv()
218 	xiocb.plist.xiocb_envbuf.name_ptr = XPTR_FROM_NATIVE(name);  in cfe_getenv()
219 	xiocb.plist.xiocb_envbuf.name_length = strlen(name);  in cfe_getenv()
220 	xiocb.plist.xiocb_envbuf.val_ptr = XPTR_FROM_NATIVE(dest);  in cfe_getenv()
221 	xiocb.plist.xiocb_envbuf.val_length = destlen;  in cfe_getenv()
243 	info->fwi_version = xiocb.plist.xiocb_fwinfo.fwi_version;  in cfe_getfwinfo()
244 	info->fwi_totalmem = xiocb.plist.xiocb_fwinfo.fwi_totalmem;  in cfe_getfwinfo()
245 	info->fwi_flags = xiocb.plist.xiocb_fwinfo.fwi_flags;  in cfe_getfwinfo()
246 	info->fwi_boardid = xiocb.plist.xiocb_fwinfo.fwi_boardid;  in cfe_getfwinfo()
247 	info->fwi_bootarea_va = xiocb.plist.xiocb_fwinfo.fwi_bootarea_va;  in cfe_getfwinfo()
248 	info->fwi_bootarea_pa = xiocb.plist.xiocb_fwinfo.fwi_bootarea_pa;  in cfe_getfwinfo()
250 	    xiocb.plist.xiocb_fwinfo.fwi_bootarea_size;  in cfe_getfwinfo()
282 	xiocb.plist.xiocb_time.ticks = 0;  in cfe_getticks()
286 	return xiocb.plist.xiocb_time.ticks;  in cfe_getticks()
299 	xiocb.plist.xiocb_inpstat.inp_status = 0;  in cfe_inpstat()
305 	return xiocb.plist.xiocb_inpstat.inp_status;  in cfe_inpstat()
319 	xiocb.plist.xiocb_buffer.buf_offset = offset;  in cfe_ioctl()
320 	xiocb.plist.xiocb_buffer.buf_ioctlcmd = ioctlnum;  in cfe_ioctl()
321 	xiocb.plist.xiocb_buffer.buf_ptr = XPTR_FROM_NATIVE(buffer);  in cfe_ioctl()
322 	xiocb.plist.xiocb_buffer.buf_length = length;  in cfe_ioctl()
327 		*retlen = xiocb.plist.xiocb_buffer.buf_retlen;  in cfe_ioctl()
340 	xiocb.plist.xiocb_buffer.buf_offset = 0;  in cfe_open()
341 	xiocb.plist.xiocb_buffer.buf_ptr = XPTR_FROM_NATIVE(name);  in cfe_open()
342 	xiocb.plist.xiocb_buffer.buf_length = strlen(name);  in cfe_open()
365 	xiocb.plist.xiocb_buffer.buf_offset = offset;  in cfe_readblk()
366 	xiocb.plist.xiocb_buffer.buf_ptr = XPTR_FROM_NATIVE(buffer);  in cfe_readblk()
367 	xiocb.plist.xiocb_buffer.buf_length = length;  in cfe_readblk()
373 	return xiocb.plist.xiocb_buffer.buf_retlen;  in cfe_readblk()
385 	xiocb.plist.xiocb_envbuf.enum_idx = 0;  in cfe_setenv()
386 	xiocb.plist.xiocb_envbuf.name_ptr = XPTR_FROM_NATIVE(name);  in cfe_setenv()
387 	xiocb.plist.xiocb_envbuf.name_length = strlen(name);  in cfe_setenv()
388 	xiocb.plist.xiocb_envbuf.val_ptr = XPTR_FROM_NATIVE(val);  in cfe_setenv()
389 	xiocb.plist.xiocb_envbuf.val_length = strlen(val);  in cfe_setenv()
410 	xiocb.plist.xiocb_buffer.buf_offset = offset;  in cfe_writeblk()
411 	xiocb.plist.xiocb_buffer.buf_ptr = XPTR_FROM_NATIVE(buffer);  in cfe_writeblk()
412 	xiocb.plist.xiocb_buffer.buf_length = length;  in cfe_writeblk()
418 	return xiocb.plist.xiocb_buffer.buf_retlen;  in cfe_writeblk()