Symbol: platid_name
sys/arch/hpc/hpc/platid.c
123
platid_name(platid_t *pid)
sys/arch/hpc/include/platid.h
87
struct platid_name {