Searched refs:vki_vm_paddr_t (Results 1 – 4 of 4) sorted by relevance
191 typedef __vki_vm_paddr_t vki_vm_paddr_t; typedef
224 typedef __vki_vm_paddr_t vki_vm_paddr_t; typedef