__BUILD_KVM_RW_SW
__BUILD_KVM_RW_SW(count, 32, MIPS_CP0_COUNT, 0)
__BUILD_KVM_RW_SW(prid, 32, MIPS_CP0_PRID, 0)
__BUILD_KVM_RW_SW(maari, l, MIPS_CP0_LLADDR, 2)