EVENT_DEFINE_RANGE_FORMAT
EVENT_DEFINE_RANGE_FORMAT(domain, config, 0, 3);
EVENT_DEFINE_RANGE_FORMAT(core, config, 16, 31);
EVENT_DEFINE_RANGE_FORMAT(chip, config, 16, 31);
EVENT_DEFINE_RANGE_FORMAT(vcpu, config, 16, 31);
EVENT_DEFINE_RANGE_FORMAT(offset, config, 32, 63);
EVENT_DEFINE_RANGE_FORMAT(lpar, config1, 0, 15);
EVENT_DEFINE_RANGE_FORMAT(request, config, 0, 31);
EVENT_DEFINE_RANGE_FORMAT(starting_index, config, 32, 63);
EVENT_DEFINE_RANGE_FORMAT(secondary_index, config1, 0, 15);
EVENT_DEFINE_RANGE_FORMAT(counter_info_version, config1, 16, 23);
EVENT_DEFINE_RANGE_FORMAT(length, config1, 24, 31);
EVENT_DEFINE_RANGE_FORMAT(offset, config1, 32, 63);