Searched refs:WORD_SIZE (Results 1 – 2 of 2) sorted by relevance

/seL4-master/manual/tools/
A D	gen_invocations.py	23 WORD_SIZE = 32 variable 33 data_types = syscall_stub_gen.init_data_types(WORD_SIZE) 34 arch_types = list(itertools.chain(*syscall_stub_gen.init_arch_types(WORD_SIZE).values()))
/seL4-master/configs/
A D	seL4Config.cmake	56 config_set(KernelWordSize WORD_SIZE 32) 60 config_set(KernelWordSize WORD_SIZE 64)

Completed in 2 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023