obj-$(CONFIG_SHADOW_PAGING_VTLB) += vmm_shdw_pg_tlb.o
obj-$(CONFIG_SWAPBYPASS) += vmm_shdw_pg_swapbypass.o