Kernel crash when uploading HPS Bridge code

Hi. Just a question… how do you know that inout [39:0] hps_memory_mem_dq, is [39:0]? From where do I get this information!!