Home
last modified time | relevance | path

Searched refs:base_addr (Results 1 – 3 of 3) sorted by relevance

/optee_os/core/drivers/
A Dpl061_gpio.c46 vaddr_t base_addr; in pl061_get_direction() local
54 data = io_read8(base_addr + GPIODIR); in pl061_get_direction()
63 vaddr_t base_addr; in pl061_set_direction() local
87 vaddr_t base_addr; in pl061_get_value() local
107 vaddr_t base_addr; in pl061_set_value() local
123 vaddr_t base_addr; in pl061_get_interrupt() local
131 data = io_read8(base_addr + GPIOIE); in pl061_get_interrupt()
141 vaddr_t base_addr; in pl061_set_interrupt() local
163 pl061_reg_base[gpio_dev] = base_addr; in pl061_register()
189 vaddr_t base_addr; in pl061_get_mode_control() local
[all …]
/optee_os/core/include/drivers/
A Dpl061_gpio.h23 void pl061_register(vaddr_t base_addr, unsigned int gpio_dev);
/optee_os/core/arch/arm/mm/
A Dcore_mmu.c1120 vaddr_t base_addr = TEE_RAM_START + seed; in init_mem_map() local
1124 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