Searched refs:DRKPS_HDR_TXT (Results 1 – 2 of 2) sorted by relevance
75 #define DRKPS_HDR_TXT "drkps" macro
418 (void) printf(KPS_HDR_FMT, DRKPS_HDR_TXT); in header()