Searched refs:vptr (Results 1 – 2 of 2) sorted by relevance
| /trusty/kernel/lib/trusty/ |
| D | vqueue.c | 59 void* vptr = NULL; in vqueue_init() local
76 round_up(vq->vring_sz, PAGE_SIZE), &vptr, in vqueue_init()
83 vring_init(&vq->vring, num, vptr, align); in vqueue_init()
89 vq->vring_addr = (vaddr_t)vptr; in vqueue_init()
|
| /trusty/kernel/lib/sm/ |
| D | sm.c | 403 void* vptr; in sm_init() local
405 err = vmm_alloc_physical(vmm_get_kernel_aspace(), "sm", size, &vptr, in sm_init()
411 boot_args = (uint8_t*)vptr + offset; in sm_init()
|