os_id              95 arch/parisc/include/asm/pdc.h static inline char * os_id_to_string(u16 os_id) {
os_id              96 arch/parisc/include/asm/pdc.h 	switch(os_id) {