Just use u32 for the counter, u32_le is for variables that are copied from/to the PSP RAM (to fix endian issues, that are not an issue right here).