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