VF_SEND_MBX_LEN
__array(u32, mbx_data, VF_SEND_MBX_LEN)
__print_array(__entry->mbx_data, VF_SEND_MBX_LEN, sizeof(u32))