arm64virt_dev_add 64 uspace/drv/platform/arm64virt/arm64virt.c static errno_t arm64virt_dev_add(ddf_dev_t *); arm64virt_dev_add 67 uspace/drv/platform/arm64virt/arm64virt.c .dev_add = &arm64virt_dev_add