/branches/arm/kernel/arch/arm32/include/cycle.h |
---|
1,5 → 1,5 |
/* |
* Copyright (c) 2006 Martin Decky |
* Copyright (c) 2007 Michal Kebrt |
* All rights reserved. |
* |
* Redistribution and use in source and binary forms, with or without |
37,7 → 37,7 |
static inline uint64_t get_cycle(void) |
{ |
/* TODO */ |
// no such instruction on ARM to get count of cycles |
return 0; |
} |
/branches/arm/kernel/arch/arm32/src/cpu/cpu.c |
---|
117,7 → 117,7 |
architecture = arch_data[cpu_arch->arch_num]; |
} |
printf("vendor: %s, architecture: ARM %s, part number: %x, variant: %x, revision: %x", |
printf("vendor: %s, architecture: ARM %s, part number: %x, variant: %x, revision: %x\n", |
vendor, architecture, cpu_arch->prim_part_num, cpu_arch->variant_num, cpu_arch->rev_num); |
} |