FreeBSD kernel /amd64 XEN device code
efi Directory Reference
Directory dependency graph for efi:
dev/xen/efi

Files

file  pvefi.c [code]