Searched defs:__attribute__ (Results 1 - 3 of 3) sorted by path

/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/
H A Dcommon.c227 platsupport_serial_setup_simple( vspace_t *_vspace __attribute__((unused)), simple_t *_simple __attribute__((unused)), vka_t *_vka __attribute__((unused))) argument
/seL4-camkes-master/tools/pruner/
H A Dset.c54 void f_wrapper(void *key __attribute__((unused)), void *value, argument
/seL4-camkes-master/tools/riscv-pk/bbl/
H A Dbbl.c89 void boot_other_hart(uintptr_t unused __attribute__((unused))) argument

Completed in 114 milliseconds