Searched refs:binfile (Results 1 – 4 of 4) sorted by relevance
44 static const char *binfile = "policy"; variable177 file = binfile; in main()
104 static const char *binfile = "policy"; variable445 file = binfile; in main()
532 obj2bin(bin => "PATH/TO/binfile",
610 obj2bin(bin => "PATH/TO/binfile",