Searched refs:axFPGABitStream_red (Results 1 – 4 of 4) sorted by relevance
25 printk("Address of the bitstream (red): %p\n", &axFPGABitStream_red); in main()27 printk("Size of the bitstream (red): %d\n", sizeof(axFPGABitStream_red)); in main()
8 uint32_t axFPGABitStream_red[] = { variable
32 fpga_load(fpga, axFPGABitStream_red, in main()33 sizeof(axFPGABitStream_red)); in main()