Displaying 1 result from an estimated 1 matches for "30f000".
Did you mean:
30000
2012 Mar 09
4
Max gfn?
...- 000000000009e000 (usable)
BIOS-e820: 000000000009e000 - 00000000000a0000 (reserved)
BIOS-e820: 00000000000e0000 - 0000000000100000 (reserved)
BIOS-e820: 0000000000100000 - 00000000f0000000 (usable)
BIOS-e820: 00000000fc000000 - 0000000100000000 (reserved)
BIOS-e820: 0000000100000000 - 000000030f000000 (usable)
I see that the highest usable gpa is over 12GB due to the reserved
slots and the max gfn is 30f000. If I use xc_domain_getinfolist() and
look at max_pages, it returns 300100 which correctly reflects 12GB.
But is there a way for me to find out the max gfn that is reflected in
the guest...