vmctl            1234 sound/pci/ctxfi/cthw20k2.c 	u32 vmctl, data;
vmctl            1245 sound/pci/ctxfi/cthw20k2.c 	vmctl = 0x80000C0F;  /* 32-bit, 4k-size page */
vmctl            1249 sound/pci/ctxfi/cthw20k2.c 		vmctl |= (3 << 8);
vmctl            1256 sound/pci/ctxfi/cthw20k2.c 	hw_write_20kx(hw, VMEM_CTL, vmctl);