Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset a19dc95 in mainline


Ignore:
Timestamp:
2012-03-12T21:08:18Z (10 years ago)
Author:
Jan Vesely <jano.vesely@…>
Branches:
lfn, master
Children:
d447598e
Parents:
b99a5e8
Message:

arm32: Register platform name to sysinfo.

Location:
kernel/arch/arm32
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/arm32/include/machine_func.h

    rb99a5e8 ra19dc95  
    108108extern size_t machine_get_irq_count(void);
    109109
     110extern const char * machine_get_platform_name(void);
     111
    110112#endif
    111113
  • kernel/arch/arm32/src/arm32.c

    rb99a5e8 ra19dc95  
    4949#include <str.h>
    5050#include <arch/ras.h>
     51#include <sysinfo/sysinfo.h>
    5152
    5253/** Performs arm32-specific initialization before main_bsp() is called. */
     
    116117{
    117118        machine_input_init();
     119        const char *platform = machine_get_platform_name();
     120
     121        sysinfo_set_item_data("platform", NULL, (void *) platform,
     122            str_size(platform));
    118123}
    119124
  • kernel/arch/arm32/src/machine_func.c

    rb99a5e8 ra19dc95  
    134134}
    135135
     136const char * machine_get_platform_name(void)
     137{
     138        if (machine_ops->machine_get_platform_name)
     139                return machine_ops->machine_get_platform_name();
     140        return NULL;
     141}
    136142/** @}
    137143 */
Note: See TracChangeset for help on using the changeset viewer.