PS4 Get CPU Clock Speed [9.00]

void cpuFrequency() {
    u64 v1;
    uint8_t* kernel_base = (uint8_t*)(__readmsr(0xC0000082) - 0x1C0);
    u64*(*devclass_find)(char*) = (void*)(kernel_base + 0x38DEC0);
    u64(*devclass_get_device)(u64 a1, int a2) = (void*)(kernel_base + 0x38E480);
    long long(*cpufreq_get)(u64 a1, int* a2) = (void*)(kernel_base + 0x2830D0);

    //long long(*sub_FFFFFFFFDDD46D90)(long long a1, long long *a2, long long a3) = (void*)(kernel_base + 0x1FAD90);
    //u32(*cpufreq_pre_change)(u64 a1, int* a2, u64 unk) = (void*)(kernel_base + 0x282800);//change CPU clock speed, I tried 1866Mhz and It worked for me once & after using it again my PS4 crashed, Maybe I didn't use this function well?

    //long long v30 = v1 + 8LL * (u8)(kernel_base + 0x1A6FC80);
    //long long v23 = sub_FFFFFFFFDDD46D90(*(u64*)(v1 + 2048), &v30, (long long)(kernel_base + 0x1A6FC80));
    u64* v0 = devclass_find("cpufreq");
    v1 = devclass_get_device((long long)v0, 0);
    cpufreq_get(v1, &freq);
    printf("CPU clock speed: %dMHz", freq);
    int mhz = 1600;
    int *v38 = &mhz;
    //cpufreq_pre_change(v1, v38, 1000LL);
}

int _main(void) {
kexec(cpuFrequency, NULL);
}