Lines Matching defs:vaddr
20 void *vaddr = NULL;
24 seL4_AllRights, 1, &vaddr);
31 uintptr_t stack_bottom = (uintptr_t) vaddr + PAGE_SIZE_4K;
59 void *vaddr = vspace_new_pages(vspace, seL4_AllRights, 1, seL4_PageBits);
60 if (vaddr == NULL) {
64 *page = vspace_get_cap(vspace, vaddr);
66 return vaddr;
123 if (config->vaddr == NULL) {
126 rights, true, &config->vaddr);
128 res = vspace_reserve_range_at(vspace, config->vaddr,
144 return config->vaddr;
149 seL4_CapRights_t rights, int cacheable, void **vaddr)
151 return vspace_reserve_range_aligned(vspace, bytes, seL4_PageBits, rights, cacheable, vaddr);