static ssize_t onda_pwm_store(struct device *dev, struct device_attribute *attr, const char *buf, size_t size) { ssize_t status; l4_msgtag_t tag; l4_umword_t label; l4_cap_idx_t comm_cap; int value = 0; int ipc_error; mutex_lock(&sysfs_lock); comm_cap = l4re_get_env_cap("comm"); /* Get a free capability slot for the comm capability */ if (l4_is_invalid_cap(comm_cap)) { printk("Did not find an comm\n"); mutex_unlock(&sysfs_lock); return 0; } /* To an L4 IPC call, i.e. send a message to thread2 and wait for a * reply from thread2. The '1' in the msgtag denotes that we want to * transfer one word of our message registers (i.e. MR0). No timeout. */ if (sscanf(buf,"%d\n", &value) > 0) { l4_utcb_mr()->mr[0] = 0x67; l4_utcb_mr()->mr[1] = value; tag = l4_ipc_call(comm_cap, l4_utcb(), l4_msgtag(0x67, 2, 0, 0), L4_IPC_NEVER); } mutex_unlock(&sysfs_lock); return size; }
int main(void) { l4re_env_t *env = l4re_env(); // get environment l4_msg_regs_t *mr = l4_utcb_mr(); // get msg regs char *str = "Hello, world!\n"; const int str_length = 15; mr->mr[0] = L4_VCON_WRITE_OP; mr->mr[1] = str_length; memcpy(&mr->mr[2], str, str_length); l4_msgtag_t tag, ret; tag = l4_msgtag(L4_PROTO_LOG, // long label (protocol) 6, // unsigned words 0, // unsigned items 0); // unsigned flags ret = l4_ipc_send(env->log, // l4_cap_idx_t dest l4_utcb(), // l4_utcb_t *utcb tag, // l4_msgtag_t tag L4_IPC_SEND_TIMEOUT_0); // l4_timeout_t timeout if (l4_msgtag_has_error(ret)) fprintf(stderr, "Error in message tag.\n"); }
L4_CV void l4sigma0_debug_dump(l4_cap_idx_t pager) { l4_msgtag_t tag = l4_msgtag(L4_PROTO_SIGMA0, 1, 0, 0); l4_utcb_mr()->mr[0] = SIGMA0_REQ_DEBUG_DUMP; l4_ipc_call(pager, l4_utcb(), tag, L4_IPC_NEVER); }
static ssize_t onda_interval_show(struct device *dev, struct device_attribute *attr, char *buf) { ssize_t status; l4_msgtag_t tag; l4_umword_t label; l4_cap_idx_t comm_cap; int value = 0; int ipc_error; mutex_lock(&sysfs_lock); comm_cap = l4re_get_env_cap("comm"); /* Get a free capability slot for the comm capability */ if (l4_is_invalid_cap(comm_cap)) { printk("Did not find an comm\n"); mutex_unlock(&sysfs_lock); return 0; } /* To an L4 IPC call, i.e. send a message to thread2 and wait for a * reply from thread2. The '1' in the msgtag denotes that we want to * transfer one word of our message registers (i.e. MR0). No timeout. */ l4_utcb_mr()->mr[0] = 0x56; tag = l4_ipc_call(comm_cap, l4_utcb(), l4_msgtag(0x56, 1, 0, 0), L4_IPC_NEVER); /* Check for IPC error, if yes, print out the IPC error code, if not, * print the received result. */ ipc_error = l4_ipc_error(tag, l4_utcb()); if (ipc_error) { printk("IPC error: %x\n", ipc_error); return 0; buf[0] = '\n'; buf[1] = '\0'; status = 1; } else { value = (int)(l4_utcb_mr()->mr[0]); status = sprintf(buf, "%d\n", value); } mutex_unlock(&sysfs_lock); return status; }
int main(void) { l4_msgtag_t tag; #ifdef MEASURE l4_cpu_time_t s, e; #endif l4_utcb_t *u = l4_utcb(); l4_exc_regs_t exc; l4_umword_t mr0, mr1; printf("Alien feature testing\n"); l4_debugger_set_object_name(l4re_env()->main_thread, "alientest"); /* Start alien thread */ if (l4_is_invalid_cap(alien = l4re_util_cap_alloc())) return 1; l4_touch_rw(alien_thread_stack, sizeof(alien_thread_stack)); tag = l4_factory_create_thread(l4re_env()->factory, alien); if (l4_error(tag)) return 1; l4_debugger_set_object_name(alien, "alienth"); l4_thread_control_start(); l4_thread_control_pager(l4re_env()->main_thread); l4_thread_control_exc_handler(l4re_env()->main_thread); l4_thread_control_bind((l4_utcb_t *)l4re_env()->first_free_utcb, L4RE_THIS_TASK_CAP); l4_thread_control_alien(1); tag = l4_thread_control_commit(alien); if (l4_error(tag)) return 2; tag = l4_thread_ex_regs(alien, (l4_umword_t)alien_thread, (l4_umword_t)alien_thread_stack + sizeof(alien_thread_stack), 0); if (l4_error(tag)) return 3; l4_sched_param_t sp = l4_sched_param(1, 0); tag = l4_scheduler_run_thread(l4re_env()->scheduler, alien, &sp); if (l4_error(tag)) return 4; #ifdef MEASURE l4_calibrate_tsc(l4re_kip()); #endif /* Pager/Exception loop */ if (l4_msgtag_has_error(tag = l4_ipc_receive(alien, u, L4_IPC_NEVER))) { printf("l4_ipc_receive failed"); return 1; } memcpy(&exc, l4_utcb_exc(), sizeof(exc)); mr0 = l4_utcb_mr()->mr[0]; mr1 = l4_utcb_mr()->mr[1]; for (;;) { #ifdef MEASURE s = l4_rdtsc(); #endif if (l4_msgtag_is_exception(tag)) { #ifndef MEASURE printf("PC=%08lx SP=%08lx Err=%08lx Trap=%lx, %s syscall, SC-Nr: %lx\n", l4_utcb_exc_pc(&exc), exc.sp, exc.err, exc.trapno, (exc.err & 4) ? " after" : "before", exc.err >> 3); #endif tag = l4_msgtag((exc.err & 4) ? 0 : L4_PROTO_ALLOW_SYSCALL, L4_UTCB_EXCEPTION_REGS_SIZE, 0, 0); } else printf("Umm, non-handled request (like PF): %lx %lx\n", mr0, mr1); memcpy(l4_utcb_exc(), &exc, sizeof(exc)); /* Reply and wait */ if (l4_msgtag_has_error(tag = l4_ipc_call(alien, u, tag, L4_IPC_NEVER))) { printf("l4_ipc_call failed\n"); return 1; } memcpy(&exc, l4_utcb_exc(), sizeof(exc)); mr0 = l4_utcb_mr()->mr[0]; mr1 = l4_utcb_mr()->mr[1]; #ifdef MEASURE e = l4_rdtsc(); printf("time %lld\n", l4_tsc_to_ns(e - s)); #endif }