1###########################################
2# dump_hal(hal_type)
3# Ability to dump the hal debug info
4#
5define(`dump_hal', `
6 hal_client_domain(dumpstate, $1);
7 allow $1_server dumpstate:fifo_file write;
8 allow $1_server dumpstate:fd use;
9')
10