1# Define a macro to allow extra HAL dump
2define(`dump_extra_hal', `
3  hal_client_domain(dumpstate, $1);
4  allow $1_server dumpstate:fifo_file write;
5  allow $1_server dumpstate:fd use;
6  allow dumpstate $1:process signal;
7')
8