MBOX_HEADER
write_mbox_header(ss->mmio_base, MBOX_HEADER(mbox_size));
const u64 expected_header = MBOX_HEADER(MBOX_HEADER_SIZE + MBOX_RESPONSE_SIZE);