cpuid should return void, since we're not checking the return value. (there isn't a unique return value anyway.) Reference: /n/atom/patch/applied2013/nixvoidcpuid Date: Tue Sep 17 00:46:16 CES 2013 Signed-off-by: quanstro@quanstro.net --- /sys/src/nix/k10/archk10.c Tue Sep 17 00:45:49 2013 +++ /sys/src/nix/k10/archk10.c Tue Sep 17 00:45:51 2013 @@ -144,7 +144,8 @@ /* * Check the Page1GB bit in function 0x80000001 DX for 1*GiB support. */ - if(cpuid(0x80000001, 0, info) && (info[3] & 0x04000000)) + cpuid(0x80000001, 0, info); + if(info[3] & 0x04000000) addmachpgsz(30); return m->npgsz; } --- /sys/src/nix/k10/fns.h Tue Sep 17 00:45:53 2013 +++ /sys/src/nix/k10/fns.h Tue Sep 17 00:45:54 2013 @@ -16,7 +16,7 @@ #define clearmmucache() /* x86 doesn't have one */ #define coherence() mfence() void confsetenv(void); -u32int cpuid(u32int, u32int, u32int[4]); +void cpuid(u32int, u32int, u32int[4]); int dbgprint(char*, ...); void delay(int); int devacpiinit(void);