Searched refs:l4_utcb_mr (Results 1 – 11 of 11) sorted by relevance
17 l4_utcb_mr()->mr[0] = SIGMA0_REQ_DEBUG_DUMP; in l4sigma0_debug_dump()
152 L4_INLINE l4_msg_regs_t *l4_utcb_mr(void) L4_NOTHROW L4_PURE;352 L4_INLINE l4_msg_regs_t *l4_utcb_mr(void) L4_NOTHROW in l4_utcb_mr() function
33 l4_msg_regs_t *mr = l4_utcb_mr(); in printn()
64 l4_utcb_mr()->mr[0] = iofp.raw; in l4util_ioport_map()
34 l4_msg_regs_t *mr = l4_utcb_mr(); in write()
82 if (size > (L4_UTCB_GENERIC_DATA_SIZE - 1) * sizeof(l4_utcb_mr()->mr[0]))83 size = (L4_UTCB_GENERIC_DATA_SIZE - 1) * sizeof(l4_utcb_mr()->mr[0]);
97 l4_msg_regs_t *mr = l4_utcb_mr(); in writev()
94 l4_msg_regs_t *m = l4_utcb_mr(); in s0_request_ram()
159 __builtin_memcpy(l4_utcb_mr()->mr, r, sizeof(struct pthread_request)); in __pthread_send_manager_rq()
164 memcpy(&request, l4_utcb_mr()->mr, sizeof(request)); in __pthread_manager()
1034 l4_msg_regs_t *mr = l4_utcb_mr();
Completed in 12 milliseconds