Searched refs:vki_xen_hvm_track_dirty_vram_t (Results 1 – 2 of 2) sorted by relevance
71 typedef struct vki_xen_hvm_track_dirty_vram vki_xen_hvm_track_dirty_vram_t; typedef
1358 vki_xen_hvm_track_dirty_vram_t *Arg = in PRE()1359 (vki_xen_hvm_track_dirty_vram_t*)ARG2; in PRE()