ATOPCASE_INFO_DEVICE
&& hdr->type == ATOPCASE_MSG_TYPE_INFO(ATOPCASE_INFO_DEVICE)
&& hdr->type_arg == ATOPCASE_INFO_DEVICE) {
ATOPCASE_MSG_TYPE_INFO(ATOPCASE_INFO_DEVICE),
ATOPCASE_INFO_DEVICE);