Searched refs:base_addr (Results 1 – 3 of 3) sorted by relevance
46 vaddr_t base_addr; in pl061_get_direction() local54 data = io_read8(base_addr + GPIODIR); in pl061_get_direction()63 vaddr_t base_addr; in pl061_set_direction() local87 vaddr_t base_addr; in pl061_get_value() local107 vaddr_t base_addr; in pl061_set_value() local123 vaddr_t base_addr; in pl061_get_interrupt() local131 data = io_read8(base_addr + GPIOIE); in pl061_get_interrupt()141 vaddr_t base_addr; in pl061_set_interrupt() local163 pl061_reg_base[gpio_dev] = base_addr; in pl061_register()189 vaddr_t base_addr; in pl061_get_mode_control() local[all …]
23 void pl061_register(vaddr_t base_addr, unsigned int gpio_dev);
1120 vaddr_t base_addr = TEE_RAM_START + seed; in init_mem_map() local1124 vaddr_t ba = base_addr; in init_mem_map()1129 ba = base_addr ^ BIT64(va_width - n); in init_mem_map()
Completed in 8 milliseconds