115 	} *msg_hdr;  in bcm2835_firmware_property()  local
126 	msg_len = sizeof(*msg_hdr) + len + sizeof(uint32_t);  in bcm2835_firmware_property()
127 	msg_hdr = malloc(sizeof(*msg_hdr) + msg_len + sizeof(uint32_t),  in bcm2835_firmware_property()
130 	msg_hdr->hdr.buf_size = msg_len;  in bcm2835_firmware_property()
131 	msg_hdr->hdr.code = BCM2835_MBOX_CODE_REQ;  in bcm2835_firmware_property()
132 	msg_hdr->tag_hdr.tag = prop;  in bcm2835_firmware_property()
133 	msg_hdr->tag_hdr.val_buf_size = len;  in bcm2835_firmware_property()
134 	memcpy(msg_hdr->data, data, len);  in bcm2835_firmware_property()
135 	msg_hdr->data[len / sizeof(uint32_t)] = 0;  in bcm2835_firmware_property()
137 	err = bcm2835_mbox_property(msg_hdr, msg_len);  in bcm2835_firmware_property()
139 		memcpy(data, msg_hdr->data, len);  in bcm2835_firmware_property()
142 	free(msg_hdr, M_DEVBUF);  in bcm2835_firmware_property()