Searched refs:builtins (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/tools/
H A Ddevice_header_gen.py15 import builtins namespace
56 template_args = dict(builtins.__dict__, **{
/seL4-camkes-master/kernel/tools/hardware/outputs/
H A Delfloader.py10 import builtins namespace
164 template_args = dict(builtins.__dict__, **{
H A Dc_header.py9 import builtins namespace
171 template_args = dict(builtins.__dict__, **{
/seL4-camkes-master/kernel/tools/
H A Dreciprocal.py19 from past.builtins import xrange
H A Dlex.py39 from past.builtins import cmp
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/
H A Dconfigure11851 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for gcc __sync builtins" >&5
11852 $as_echo_n "checking for gcc __sync builtins... " >&6; }
11878 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for gcc __atomic builtins" >&5
11879 $as_echo_n "checking for gcc __atomic builtins... " >&6; }

Completed in 147 milliseconds