Searched defs:base_addr (Results 1 – 5 of 5) sorted by relevance
46 vaddr_t base_addr; in pl061_get_direction() local63 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() local141 vaddr_t base_addr; in pl061_set_interrupt() local159 void pl061_register(vaddr_t base_addr, unsigned int gpio_dev) in pl061_register()189 vaddr_t base_addr; in pl061_get_mode_control() local206 vaddr_t base_addr; in pl061_set_mode_control() local
142 efi_physical_address_t base_addr, uint64_t size) in efi_create_fv_hob()
231 vaddr_t base_addr = start_addr + seed; in arch_aslr_base_addr() local
505 uaddr_t base_addr = 0; in load_binary_sp() local861 uint64_t base_addr = 0; in handle_fdt_load_relative_mem_regions() local1004 uint64_t base_addr = 0; in handle_fdt_dev_regions() local1175 uint64_t base_addr = 0; in handle_fdt_mem_regions() local
727 vaddr_t base_addr = start_addr + seed; in arch_aslr_base_addr() local