Searched refs:scratch_page (Results 1 – 1 of 1) sorted by relevance
7 static void *scratch_page; variable17 scratch_page = alloc_page(); in npt_np_prepare()18 pte = npt_get_pte((u64) scratch_page); in npt_np_prepare()25 (void)*(volatile u64 *)scratch_page; in npt_np_test()30 u64 *pte = npt_get_pte((u64) scratch_page); in npt_np_check()69 scratch_page = alloc_page(); in npt_us_prepare()70 pte = npt_get_pte((u64) scratch_page); in npt_us_prepare()77 (void)*(volatile u64 *)scratch_page; in npt_us_test()82 u64 *pte = npt_get_pte((u64) scratch_page); in npt_us_check()