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);