Searched defs:l4_utcb_exc_pc_set (Results 1 – 7 of 7) sorted by relevance
91 L4_INLINE void l4_utcb_exc_pc_set(l4_exc_regs_t *u, l4_addr_t pc) L4_NOTHROW in l4_utcb_exc_pc_set() function
95 L4_INLINE void l4_utcb_exc_pc_set(l4_exc_regs_t *u, l4_addr_t pc) L4_NOTHROW in l4_utcb_exc_pc_set() function
93 L4_INLINE void l4_utcb_exc_pc_set(l4_exc_regs_t *u, l4_addr_t pc) L4_NOTHROW in l4_utcb_exc_pc_set() function
100 L4_INLINE void l4_utcb_exc_pc_set(l4_exc_regs_t *u, l4_addr_t pc) L4_NOTHROW in l4_utcb_exc_pc_set() function
117 L4_INLINE void l4_utcb_exc_pc_set(l4_exc_regs_t *u, l4_addr_t pc) L4_NOTHROW in l4_utcb_exc_pc_set() function
108 L4_INLINE void l4_utcb_exc_pc_set(l4_exc_regs_t *u, l4_addr_t pc) L4_NOTHROW in l4_utcb_exc_pc_set() function
107 L4_INLINE void l4_utcb_exc_pc_set(l4_exc_regs_t *u, l4_addr_t pc) L4_NOTHROW in l4_utcb_exc_pc_set() function
Completed in 17 milliseconds