| diff --git a//third_party/cpuinfo/cpuinfo.patch b//third_party/cpuinfo/cpuinfo.patch |
| index d9a16c5..be77fb5 100644 |
| --- a/third_party/cpuinfo/cpuinfo.patch |
| +++ b/third_party/cpuinfo/cpuinfo.patch |
| @@ -128,3 +128,17 @@ index 98ef919..8365846 100644 |
| printf("\tIDIV: %s\n", cpuinfo_has_arm_idiv() ? "yes" : "no"); |
| |
| printf("Floating-Point support:\n"); |
| +diff --git a/src/arm/linux/cp.h b/src/arm/linux/cp.h |
| +index 63940ec..9403a65 100755 |
| +--- a/src/arm/linux/cp.h |
| ++++ b/src/arm/linux/cp.h |
| +@@ -37,8 +37,6 @@ |
| + #endif |
| + |
| + static inline uint32_t read_wcid(void) { |
| +- uint32_t wcid; |
| +- __asm__ __volatile__("MRC p1, 0, %[wcid], c0, c0" : [wcid] "=r" (wcid)); |
| +- return wcid; |
| ++ return 0; |
| + } |
| + #endif |
