Searched refs:X13 (Results 1 – 2 of 2) sorted by relevance
113 X13 = 13, /* 0x68 */ enumerator216 [seL4_TimeoutReply_X13] = X13,\
28 X9, X10, X11, X12, X13, X14, X15,
Completed in 3 milliseconds