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