Searched refs:pl011_base (Results 1 – 1 of 1) sorted by relevance
182 uintptr_t pl011_base; in fpga_get_system_frequency() local186 &pl011_base, NULL); in fpga_get_system_frequency()188 divider = mmio_read_32(pl011_base + UARTIBRD); in fpga_get_system_frequency()190 divider += mmio_read_32(pl011_base + UARTFBRD); in fpga_get_system_frequency()