Searched defs:max_guest_addr (Results 1 – 3 of 3) sorted by relevance
2160 pub max_guest_addr: u64, field
2353 pub max_guest_addr: u64, field
2826 pub max_guest_addr: u64, field