Symbol: gen_header
sys/arch/hpc/hpc/platid_gen/platid_gen.c
349
gen_header();
sys/arch/hpc/hpc/platid_gen/platid_gen.c
74
void gen_header(void);