Searched defs:gasket_page_table_ioctl (Results 1 – 1 of 1) sorted by relevance
33 struct gasket_page_table_ioctl { struct34 u64 page_table_index;35 u64 size;36 u64 host_address;37 u64 device_address;