Searched refs:force_4k_page (Results 1 – 4 of 4) sorted by relevance
58 void force_4k_page(void *addr);
288 void force_4k_page(void *addr) in force_4k_page() function
186 force_4k_page(ds_bufer); in alloc_buffers()190 force_4k_page(pebs_buffer); in alloc_buffers()
6164 force_4k_page(apic_access_address); in apic_reg_virt_test()