find_static_vm_vaddr
svm = find_static_vm_vaddr(addr);
extern struct static_vm *find_static_vm_vaddr(void *vaddr);
svm = find_static_vm_vaddr((void *)PCI_IO_VIRT_BASE);