Searched refs:has_4_byte_gpte (Results 1 – 3 of 3) sorted by relevance
38 role.has_4_byte_gpte ? 4 : 8, \
164 When role.has_4_byte_gpte=1, the guest uses 32-bit gptes while the host uses 64-bit180 role.has_4_byte_gpte:
339 unsigned has_4_byte_gpte:1; member