Searched refs:allocbddsystem (Results 1 – 3 of 3) sorted by relevance
331 bddsystem *allocbddsystem() in allocbddsystem() function
111 BddSystem = allocbddsystem();
585 extern bddsystem * allocbddsystem __P(());