interrupt_get_count_arg
struct interrupt_get_count_arg * const arg = v1;
struct interrupt_get_count_arg arg;