Lines Matching refs:hal_

229 attribute hal_$1;
230 expandattribute hal_$1 true;
231 attribute hal_$1_client;
232 expandattribute hal_$1_client true;
233 attribute hal_$1_server;
234 expandattribute hal_$1_server false;
236 neverallow { hal_$1_server -halserverdomain } domain:process fork;
237 # hal_*_client and halclientdomain attributes are always expanded for
241 neverallow { hal_$1_server -hal_$1 } domain:process fork;
242 neverallow { hal_$1_client -halclientdomain } domain:process fork;
699     #     hal_client_domain(<your domain>, hal_<foo>)
718     #     hal_client_domain(<your domain>, hal_<foo>)