HelenOS sources

md_get_integer_property   55 kernel/arch/sparc64/include/arch/sun4v/md.h bool md_get_integer_property(md_node_t node, const char *key,
md_get_integer_property   63 kernel/arch/sparc64/src/cpu/sun4v/cpu.c 		md_get_integer_property(node, "id", &id);
md_get_integer_property   67 kernel/arch/sparc64/src/cpu/sun4v/cpu.c 			md_get_integer_property(node, "clock-frequency",
md_get_integer_property  189 kernel/arch/sparc64/src/smp/sun4v/smp.c 		md_get_integer_property(node, "id", &cpuid);
md_get_integer_property  281 kernel/arch/sparc64/src/smp/sun4v/smp.c 			md_get_integer_property(node, "id", &cpuid);