Searched refs:MAX_MESSAGE_LENGTH (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py76 MAX_MESSAGE_LENGTH = 64 variable
494 words = [[] for _ in range(num_mrs, MAX_MESSAGE_LENGTH)]
740 for i in range(MAX_MESSAGE_LENGTH):
/seL4-camkes-master/kernel/libsel4/tools/
H A Dsyscall_stub_gen.py76 MAX_MESSAGE_LENGTH = 64 variable
494 words = [[] for _ in range(num_mrs, MAX_MESSAGE_LENGTH)]
740 for i in range(MAX_MESSAGE_LENGTH):

Completed in 31 milliseconds