/* Restore the given page to saved presence state.  */
static void disarm_kmmio_fault_page(struct kmmio_fault_page *f)
/* Restore the given page to saved presence state.  */
static void disarm_kmmio_fault_page(struct kmmio_fault_page *f)
{
	int ret = clear_page_presence(f, false);
	WARN_ONCE(ret < 0,
			KERN_ERR "kmmio disarming 0x%08lx failed.\n", f->page);
	f->armed = false;
}