api (definition) in projects: seL4-master

Searched defs:api (Results 1 – 2 of 2) sorted by relevance

/seL4-master/tools/
A D	syscall_header_gen.py	`210 def generate_kernel_file(kernel_header, api, debug): argument`
/seL4-master/libsel4/tools/
A D	syscall_header_gen.py	`210 def generate_kernel_file(kernel_header, api, debug): argument`

Completed in 3 milliseconds