Xen devel - Oct 2012 - About getting guest pfn number from virtual address

Hi, 
I find that the shadow page fault entry function is : sh_page_fault. 
It has three parameters: struct vcpu *v, unsigned long va and struct
cpu_user_regs *regs.

I have two questions here: 
1. The "unsigned long va" means the virtual address of the guest? 
2. How can I get the physical frame number (PFN) from this va variable? 
Thanks.

Best,

At 20:12 -0400 on 10 Oct (1349899968), Ming Liu wrote:
> Hi, 
> I find that the shadow page fault entry function is : sh_page_fault. 
> It has three parameters: struct vcpu *v, unsigned long va and struct
cpu_user_regs *regs.
> 
> I have two questions here: 
> 1. The "unsigned long va" means the virtual address of the guest?
Yes.  Yes, it is.
> 2. How can I get the physical frame number (PFN) from this va variable? 
Did you read the rest of that function?  Among other things, it finds
the GFN and MFN of the faulting address.

Tim.