Searched defs:__attribute__ (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/tools/riscv-pk/bbl/
H A Dbbl.c89 void boot_other_hart(uintptr_t unused __attribute__((unused))) argument
/seL4-test-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

Completed in 32 milliseconds