Searched refs:res_vaddr (Results 1 – 2 of 2) sorted by relevance
15 int mmio_create(uint32_t size, vm_flags_t vm_flags, uint64_t * res_vaddr, uint64_t *res_size);
19 int mmio_create(uint32_t size, vm_flags_t vm_flags, uint64_t *res_vaddr, uint64_t *res_size) in mmio_create() argument43 *res_vaddr = buddy_region->vaddr; in mmio_create()