get_nx_lpage_recovery_timeout 6474 arch/x86/kvm/mmu.c remaining_time = get_nx_lpage_recovery_timeout(start_time); get_nx_lpage_recovery_timeout 6479 arch/x86/kvm/mmu.c remaining_time = get_nx_lpage_recovery_timeout(start_time);