The story is that I change GUEST_SYSENTER_EIP in vmx_vmexit_handler() in order to catch a page_fault and do something in sh_page_fault(). But I need to change GUEST_RIP back after something is done.
I change GUEST_RIP in sh_page_fault(), but it doesn't work.