Home
last modified time | relevance | path

Searched defs:id (Results 1 – 10 of 10) sorted by relevance

/seL4-master/include/benchmark/
A Dbenchmark.h29 static inline void trace_point_start(word_t id) in trace_point_start()
35 static inline void trace_point_stop(word_t id) in trace_point_stop()
/seL4-master/libsel4/include/sel4/
A Dbenchmark_tracepoints_types.h13 seL4_Word id; member
A Dbootinfo_types.h82 seL4_Word id; member
/seL4-master/include/arch/arm/arch/64/mode/smp/
A Dsmp.h27 cpu_id_t id; in getCurrentCPUIndex() local
/seL4-master/src/api/
A Dfaults.c74 static inline void copyMRsFaultReply(tcb_t *sender, tcb_t *receiver, MessageID_t id, word_t length) in copyMRsFaultReply()
99 static inline void copyMRsFault(tcb_t *sender, tcb_t *receiver, MessageID_t id, in copyMRsFault()
/seL4-master/include/arch/arm/arch/32/mode/
A Dmachine_pl2.h19 static inline void writeContextIDPL2(word_t id) in writeContextIDPL2()
32 static inline void writeContextIDAndPD(word_t id, word_t pd_val) in writeContextIDAndPD()
189 static inline void writeContextIDAndPD(word_t id, word_t pd_val) {} in writeContextIDAndPD()
A Dmachine.h138 static inline void writeContextID(word_t id) in writeContextID()
/seL4-master/include/arch/arm/arch/64/mode/
A Dmachine_pl2.h37 static inline void writeContextIDAndPD(word_t id, word_t pd_val) {} in writeContextIDAndPD()
/seL4-master/src/plat/tk1/machine/
A Dsmmu.c256 uint32_t UNUSED id = err_status & MC_ERR_ID_MASK; in plat_smmu_handle_interrupt() local
/seL4-master/src/arch/arm/machine/
A Dl2c_310.c108 } id /* reg0 */; member

Completed in 48 milliseconds