Reserved @0xefc

Provides bits 63:32 of the AXI address.

Table 1. addr1

Bits	SW	Name	Description	Reset
31:0	R/W	Address bits [63:32] [data]	Bits [63:32] of AXI Address Register for BAR N.	32'h00000000