Searched refs:l4_utcb_br (Results 1 – 4 of 4) sorted by relevance
65 l4_utcb_br()->bdr = 0; in l4util_ioport_map()66 l4_utcb_br()->br[0] = L4_ITEM_MAP; in l4util_ioport_map()67 l4_utcb_br()->br[1] = iofp.raw; in l4util_ioport_map()
166 L4_INLINE l4_buf_regs_t *l4_utcb_br(void) L4_NOTHROW L4_PURE;355 L4_INLINE l4_buf_regs_t *l4_utcb_br(void) L4_NOTHROW in l4_utcb_br() function
95 l4_buf_regs_t *b = l4_utcb_br(); in s0_request_ram()
1035 l4_buf_regs_t *br = l4_utcb_br();
Completed in 6 milliseconds