Searched refs:scratch_page (Results 1 – 1 of 1) sorted by relevance
6 static void *scratch_page; variable16 scratch_page = alloc_page(); in npt_np_prepare()17 pte = npt_get_pte((u64) scratch_page); in npt_np_prepare()24 (void)*(volatile u64 *)scratch_page; in npt_np_test()29 u64 *pte = npt_get_pte((u64) scratch_page); in npt_np_check()68 scratch_page = alloc_page(); in npt_us_prepare()69 pte = npt_get_pte((u64) scratch_page); in npt_us_prepare()76 (void)*(volatile u64 *)scratch_page; in npt_us_test()81 u64 *pte = npt_get_pte((u64) scratch_page); in npt_us_check()