Searched refs:vdevice_attach_vmaddr (Results 1 – 3 of 3) sorted by relevance
| /hyp/interfaces/vdevice/include/ |
| A D | vdevice.h | 45 vdevice_attach_vmaddr(vdevice_t *vdevice, addrspace_t *addrspace, vmaddr_t ipa,
|
| /hyp/core/vdevice/src/ |
| A D | vdevice.c | 74 vdevice_attach_vmaddr(vdevice_t *vdevice, addrspace_t *addrspace, vmaddr_t ipa, in vdevice_attach_vmaddr() function
|
| /hyp/vm/vgic/src/ |
| A D | distrib.c | 240 err = vdevice_attach_vmaddr(&vic_r.r->gicd_device, addrspace, in vgic_handle_addrspace_attach_vdevice()
279 err = vdevice_attach_vmaddr(&gicr_vcpu->vgic_gicr_device, in vgic_handle_addrspace_attach_vdevice()
936 if (vdevice_attach_vmaddr(&root_vic->gicd_device, root_addrspace, in vgic_handle_rootvm_init_late()
949 if (vdevice_attach_vmaddr( in vgic_handle_rootvm_init_late()
|
Completed in 20 milliseconds