Searched refs:WKPS_HDR_TXT (Results 1 – 2 of 2) sorted by relevance
70 #define WKPS_HDR_TXT "wkps" macro
430 (void) printf(KPS_HDR_FMT, WKPS_HDR_TXT); in header()