1 /* mdesc.c: Sun4V machine description handling.
3 * Copyright (C) 2007, 2008 David S. Miller <davem@davemloft.net>
5 #include <linux/kernel.h>
6 #include <linux/types.h>
7 #include <linux/memblock.h>
8 #include <linux/log2.h>
9 #include <linux/list.h>
10 #include <linux/slab.h>
12 #include <linux/miscdevice.h>
13 #include <linux/bootmem.h>
14 #include <linux/export.h>
16 #include <asm/cpudata.h>
17 #include <asm/hypervisor.h>
18 #include <asm/mdesc.h>
20 #include <asm/uaccess.h>
21 #include <asm/oplib.h>
24 /* Unlike the OBP device tree, the machine description is a full-on
25 * DAG. An arbitrary number of ARCs are possible from one
26 * node to other nodes and thus we can't use the OBP device_node
27 * data structure to represent these nodes inside of the kernel.
29 * Actually, it isn't even a DAG, because there are back pointers
30 * which create cycles in the graph.
32 * mdesc_hdr and mdesc_elem describe the layout of the data structure
33 * we get from the Hypervisor.
36 u32 version
; /* Transport version */
37 u32 node_sz
; /* node block size */
38 u32 name_sz
; /* name block size */
39 u32 data_sz
; /* data block size */
40 } __attribute__((aligned(16)));
44 #define MD_LIST_END 0x00
46 #define MD_NODE_END 0x45
48 #define MD_PROP_ARC 0x61
49 #define MD_PROP_VAL 0x76
50 #define MD_PROP_STR 0x73
51 #define MD_PROP_DATA 0x64
64 struct mdesc_mem_ops
{
65 struct mdesc_handle
*(*alloc
)(unsigned int mdesc_size
);
66 void (*free
)(struct mdesc_handle
*handle
);
70 struct list_head list
;
71 struct mdesc_mem_ops
*mops
;
74 unsigned int handle_size
;
75 struct mdesc_hdr mdesc
;
78 static void mdesc_handle_init(struct mdesc_handle
*hp
,
79 unsigned int handle_size
,
82 BUG_ON(((unsigned long)&hp
->mdesc
) & (16UL - 1));
84 memset(hp
, 0, handle_size
);
85 INIT_LIST_HEAD(&hp
->list
);
87 atomic_set(&hp
->refcnt
, 1);
88 hp
->handle_size
= handle_size
;
91 static struct mdesc_handle
* __init
mdesc_memblock_alloc(unsigned int mdesc_size
)
93 unsigned int handle_size
, alloc_size
;
94 struct mdesc_handle
*hp
;
97 handle_size
= (sizeof(struct mdesc_handle
) -
98 sizeof(struct mdesc_hdr
) +
100 alloc_size
= PAGE_ALIGN(handle_size
);
102 paddr
= memblock_alloc(alloc_size
, PAGE_SIZE
);
107 mdesc_handle_init(hp
, handle_size
, hp
);
112 static void __init
mdesc_memblock_free(struct mdesc_handle
*hp
)
114 unsigned int alloc_size
;
117 BUG_ON(atomic_read(&hp
->refcnt
) != 0);
118 BUG_ON(!list_empty(&hp
->list
));
120 alloc_size
= PAGE_ALIGN(hp
->handle_size
);
122 free_bootmem_late(start
, alloc_size
);
125 static struct mdesc_mem_ops memblock_mdesc_ops
= {
126 .alloc
= mdesc_memblock_alloc
,
127 .free
= mdesc_memblock_free
,
130 static struct mdesc_handle
*mdesc_kmalloc(unsigned int mdesc_size
)
132 unsigned int handle_size
;
135 handle_size
= (sizeof(struct mdesc_handle
) -
136 sizeof(struct mdesc_hdr
) +
139 base
= kmalloc(handle_size
+ 15, GFP_KERNEL
| __GFP_NOFAIL
);
141 struct mdesc_handle
*hp
;
144 addr
= (unsigned long)base
;
145 addr
= (addr
+ 15UL) & ~15UL;
146 hp
= (struct mdesc_handle
*) addr
;
148 mdesc_handle_init(hp
, handle_size
, base
);
155 static void mdesc_kfree(struct mdesc_handle
*hp
)
157 BUG_ON(atomic_read(&hp
->refcnt
) != 0);
158 BUG_ON(!list_empty(&hp
->list
));
160 kfree(hp
->self_base
);
163 static struct mdesc_mem_ops kmalloc_mdesc_memops
= {
164 .alloc
= mdesc_kmalloc
,
168 static struct mdesc_handle
*mdesc_alloc(unsigned int mdesc_size
,
169 struct mdesc_mem_ops
*mops
)
171 struct mdesc_handle
*hp
= mops
->alloc(mdesc_size
);
179 static void mdesc_free(struct mdesc_handle
*hp
)
184 static struct mdesc_handle
*cur_mdesc
;
185 static LIST_HEAD(mdesc_zombie_list
);
186 static DEFINE_SPINLOCK(mdesc_lock
);
188 struct mdesc_handle
*mdesc_grab(void)
190 struct mdesc_handle
*hp
;
193 spin_lock_irqsave(&mdesc_lock
, flags
);
196 atomic_inc(&hp
->refcnt
);
197 spin_unlock_irqrestore(&mdesc_lock
, flags
);
201 EXPORT_SYMBOL(mdesc_grab
);
203 void mdesc_release(struct mdesc_handle
*hp
)
207 spin_lock_irqsave(&mdesc_lock
, flags
);
208 if (atomic_dec_and_test(&hp
->refcnt
)) {
209 list_del_init(&hp
->list
);
212 spin_unlock_irqrestore(&mdesc_lock
, flags
);
214 EXPORT_SYMBOL(mdesc_release
);
216 static DEFINE_MUTEX(mdesc_mutex
);
217 static struct mdesc_notifier_client
*client_list
;
219 void mdesc_register_notifier(struct mdesc_notifier_client
*client
)
223 mutex_lock(&mdesc_mutex
);
224 client
->next
= client_list
;
225 client_list
= client
;
227 mdesc_for_each_node_by_name(cur_mdesc
, node
, client
->node_name
)
228 client
->add(cur_mdesc
, node
);
230 mutex_unlock(&mdesc_mutex
);
233 static const u64
*parent_cfg_handle(struct mdesc_handle
*hp
, u64 node
)
239 mdesc_for_each_arc(a
, hp
, node
, MDESC_ARC_TYPE_BACK
) {
242 target
= mdesc_arc_target(hp
, a
);
243 id
= mdesc_get_property(hp
, target
,
252 /* Run 'func' on nodes which are in A but not in B. */
253 static void invoke_on_missing(const char *name
,
254 struct mdesc_handle
*a
,
255 struct mdesc_handle
*b
,
256 void (*func
)(struct mdesc_handle
*, u64
))
260 mdesc_for_each_node_by_name(a
, node
, name
) {
261 int found
= 0, is_vdc_port
= 0;
262 const char *name_prop
;
266 name_prop
= mdesc_get_property(a
, node
, "name", NULL
);
267 if (name_prop
&& !strcmp(name_prop
, "vdc-port")) {
269 id
= parent_cfg_handle(a
, node
);
271 id
= mdesc_get_property(a
, node
, "id", NULL
);
274 printk(KERN_ERR
"MD: Cannot find ID for %s node.\n",
275 (name_prop
? name_prop
: name
));
279 mdesc_for_each_node_by_name(b
, fnode
, name
) {
283 name_prop
= mdesc_get_property(b
, fnode
,
286 strcmp(name_prop
, "vdc-port"))
288 fid
= parent_cfg_handle(b
, fnode
);
290 printk(KERN_ERR
"MD: Cannot find ID "
291 "for vdc-port node.\n");
295 fid
= mdesc_get_property(b
, fnode
,
308 static void notify_one(struct mdesc_notifier_client
*p
,
309 struct mdesc_handle
*old_hp
,
310 struct mdesc_handle
*new_hp
)
312 invoke_on_missing(p
->node_name
, old_hp
, new_hp
, p
->remove
);
313 invoke_on_missing(p
->node_name
, new_hp
, old_hp
, p
->add
);
316 static void mdesc_notify_clients(struct mdesc_handle
*old_hp
,
317 struct mdesc_handle
*new_hp
)
319 struct mdesc_notifier_client
*p
= client_list
;
322 notify_one(p
, old_hp
, new_hp
);
327 void mdesc_update(void)
329 unsigned long len
, real_len
, status
;
330 struct mdesc_handle
*hp
, *orig_hp
;
333 mutex_lock(&mdesc_mutex
);
335 (void) sun4v_mach_desc(0UL, 0UL, &len
);
337 hp
= mdesc_alloc(len
, &kmalloc_mdesc_memops
);
339 printk(KERN_ERR
"MD: mdesc alloc fails\n");
343 status
= sun4v_mach_desc(__pa(&hp
->mdesc
), len
, &real_len
);
344 if (status
!= HV_EOK
|| real_len
> len
) {
345 printk(KERN_ERR
"MD: mdesc reread fails with %lu\n",
347 atomic_dec(&hp
->refcnt
);
352 spin_lock_irqsave(&mdesc_lock
, flags
);
355 spin_unlock_irqrestore(&mdesc_lock
, flags
);
357 mdesc_notify_clients(orig_hp
, hp
);
359 spin_lock_irqsave(&mdesc_lock
, flags
);
360 if (atomic_dec_and_test(&orig_hp
->refcnt
))
363 list_add(&orig_hp
->list
, &mdesc_zombie_list
);
364 spin_unlock_irqrestore(&mdesc_lock
, flags
);
367 mutex_unlock(&mdesc_mutex
);
370 static struct mdesc_elem
*node_block(struct mdesc_hdr
*mdesc
)
372 return (struct mdesc_elem
*) (mdesc
+ 1);
375 static void *name_block(struct mdesc_hdr
*mdesc
)
377 return ((void *) node_block(mdesc
)) + mdesc
->node_sz
;
380 static void *data_block(struct mdesc_hdr
*mdesc
)
382 return ((void *) name_block(mdesc
)) + mdesc
->name_sz
;
385 u64
mdesc_node_by_name(struct mdesc_handle
*hp
,
386 u64 from_node
, const char *name
)
388 struct mdesc_elem
*ep
= node_block(&hp
->mdesc
);
389 const char *names
= name_block(&hp
->mdesc
);
390 u64 last_node
= hp
->mdesc
.node_sz
/ 16;
393 if (from_node
== MDESC_NODE_NULL
) {
395 } else if (from_node
>= last_node
) {
396 return MDESC_NODE_NULL
;
398 ret
= ep
[from_node
].d
.val
;
401 while (ret
< last_node
) {
402 if (ep
[ret
].tag
!= MD_NODE
)
403 return MDESC_NODE_NULL
;
404 if (!strcmp(names
+ ep
[ret
].name_offset
, name
))
408 if (ret
>= last_node
)
409 ret
= MDESC_NODE_NULL
;
412 EXPORT_SYMBOL(mdesc_node_by_name
);
414 const void *mdesc_get_property(struct mdesc_handle
*hp
, u64 node
,
415 const char *name
, int *lenp
)
417 const char *names
= name_block(&hp
->mdesc
);
418 u64 last_node
= hp
->mdesc
.node_sz
/ 16;
419 void *data
= data_block(&hp
->mdesc
);
420 struct mdesc_elem
*ep
;
422 if (node
== MDESC_NODE_NULL
|| node
>= last_node
)
425 ep
= node_block(&hp
->mdesc
) + node
;
427 for (; ep
->tag
!= MD_NODE_END
; ep
++) {
439 val
= data
+ ep
->d
.data
.data_offset
;
440 len
= ep
->d
.data
.data_len
;
449 if (!strcmp(names
+ ep
->name_offset
, name
)) {
458 EXPORT_SYMBOL(mdesc_get_property
);
460 u64
mdesc_next_arc(struct mdesc_handle
*hp
, u64 from
, const char *arc_type
)
462 struct mdesc_elem
*ep
, *base
= node_block(&hp
->mdesc
);
463 const char *names
= name_block(&hp
->mdesc
);
464 u64 last_node
= hp
->mdesc
.node_sz
/ 16;
466 if (from
== MDESC_NODE_NULL
|| from
>= last_node
)
467 return MDESC_NODE_NULL
;
472 for (; ep
->tag
!= MD_NODE_END
; ep
++) {
473 if (ep
->tag
!= MD_PROP_ARC
)
476 if (strcmp(names
+ ep
->name_offset
, arc_type
))
482 return MDESC_NODE_NULL
;
484 EXPORT_SYMBOL(mdesc_next_arc
);
486 u64
mdesc_arc_target(struct mdesc_handle
*hp
, u64 arc
)
488 struct mdesc_elem
*ep
, *base
= node_block(&hp
->mdesc
);
494 EXPORT_SYMBOL(mdesc_arc_target
);
496 const char *mdesc_node_name(struct mdesc_handle
*hp
, u64 node
)
498 struct mdesc_elem
*ep
, *base
= node_block(&hp
->mdesc
);
499 const char *names
= name_block(&hp
->mdesc
);
500 u64 last_node
= hp
->mdesc
.node_sz
/ 16;
502 if (node
== MDESC_NODE_NULL
|| node
>= last_node
)
506 if (ep
->tag
!= MD_NODE
)
509 return names
+ ep
->name_offset
;
511 EXPORT_SYMBOL(mdesc_node_name
);
513 static u64 max_cpus
= 64;
515 static void __init
report_platform_properties(void)
517 struct mdesc_handle
*hp
= mdesc_grab();
518 u64 pn
= mdesc_node_by_name(hp
, MDESC_NODE_NULL
, "platform");
522 if (pn
== MDESC_NODE_NULL
) {
523 prom_printf("No platform node in machine-description.\n");
527 s
= mdesc_get_property(hp
, pn
, "banner-name", NULL
);
528 printk("PLATFORM: banner-name [%s]\n", s
);
529 s
= mdesc_get_property(hp
, pn
, "name", NULL
);
530 printk("PLATFORM: name [%s]\n", s
);
532 v
= mdesc_get_property(hp
, pn
, "hostid", NULL
);
534 printk("PLATFORM: hostid [%08llx]\n", *v
);
535 v
= mdesc_get_property(hp
, pn
, "serial#", NULL
);
537 printk("PLATFORM: serial# [%08llx]\n", *v
);
538 v
= mdesc_get_property(hp
, pn
, "stick-frequency", NULL
);
539 printk("PLATFORM: stick-frequency [%08llx]\n", *v
);
540 v
= mdesc_get_property(hp
, pn
, "mac-address", NULL
);
542 printk("PLATFORM: mac-address [%llx]\n", *v
);
543 v
= mdesc_get_property(hp
, pn
, "watchdog-resolution", NULL
);
545 printk("PLATFORM: watchdog-resolution [%llu ms]\n", *v
);
546 v
= mdesc_get_property(hp
, pn
, "watchdog-max-timeout", NULL
);
548 printk("PLATFORM: watchdog-max-timeout [%llu ms]\n", *v
);
549 v
= mdesc_get_property(hp
, pn
, "max-cpus", NULL
);
552 printk("PLATFORM: max-cpus [%llu]\n", max_cpus
);
561 if (max_cpu
> NR_CPUS
)
566 for (i
= 0; i
< max_cpu
; i
++)
567 set_cpu_possible(i
, true);
574 static void __cpuinit
fill_in_one_cache(cpuinfo_sparc
*c
,
575 struct mdesc_handle
*hp
,
578 const u64
*level
= mdesc_get_property(hp
, mp
, "level", NULL
);
579 const u64
*size
= mdesc_get_property(hp
, mp
, "size", NULL
);
580 const u64
*line_size
= mdesc_get_property(hp
, mp
, "line-size", NULL
);
584 type
= mdesc_get_property(hp
, mp
, "type", &type_len
);
588 if (of_find_in_proplist(type
, "instn", type_len
)) {
589 c
->icache_size
= *size
;
590 c
->icache_line_size
= *line_size
;
591 } else if (of_find_in_proplist(type
, "data", type_len
)) {
592 c
->dcache_size
= *size
;
593 c
->dcache_line_size
= *line_size
;
598 c
->ecache_size
= *size
;
599 c
->ecache_line_size
= *line_size
;
609 mdesc_for_each_arc(a
, hp
, mp
, MDESC_ARC_TYPE_FWD
) {
610 u64 target
= mdesc_arc_target(hp
, a
);
611 const char *name
= mdesc_node_name(hp
, target
);
613 if (!strcmp(name
, "cache"))
614 fill_in_one_cache(c
, hp
, target
);
619 static void __cpuinit
mark_core_ids(struct mdesc_handle
*hp
, u64 mp
, int core_id
)
623 mdesc_for_each_arc(a
, hp
, mp
, MDESC_ARC_TYPE_BACK
) {
624 u64 t
= mdesc_arc_target(hp
, a
);
628 name
= mdesc_node_name(hp
, t
);
629 if (!strcmp(name
, "cpu")) {
630 id
= mdesc_get_property(hp
, t
, "id", NULL
);
632 cpu_data(*id
).core_id
= core_id
;
636 mdesc_for_each_arc(j
, hp
, t
, MDESC_ARC_TYPE_BACK
) {
637 u64 n
= mdesc_arc_target(hp
, j
);
640 n_name
= mdesc_node_name(hp
, n
);
641 if (strcmp(n_name
, "cpu"))
644 id
= mdesc_get_property(hp
, n
, "id", NULL
);
646 cpu_data(*id
).core_id
= core_id
;
652 static void __cpuinit
set_core_ids(struct mdesc_handle
*hp
)
658 mdesc_for_each_node_by_name(hp
, mp
, "cache") {
663 level
= mdesc_get_property(hp
, mp
, "level", NULL
);
667 type
= mdesc_get_property(hp
, mp
, "type", &len
);
668 if (!of_find_in_proplist(type
, "instn", len
))
671 mark_core_ids(hp
, mp
, idx
);
677 static void __cpuinit
mark_proc_ids(struct mdesc_handle
*hp
, u64 mp
, int proc_id
)
681 mdesc_for_each_arc(a
, hp
, mp
, MDESC_ARC_TYPE_BACK
) {
682 u64 t
= mdesc_arc_target(hp
, a
);
686 name
= mdesc_node_name(hp
, t
);
687 if (strcmp(name
, "cpu"))
690 id
= mdesc_get_property(hp
, t
, "id", NULL
);
692 cpu_data(*id
).proc_id
= proc_id
;
696 static void __cpuinit
__set_proc_ids(struct mdesc_handle
*hp
, const char *exec_unit_name
)
702 mdesc_for_each_node_by_name(hp
, mp
, exec_unit_name
) {
706 type
= mdesc_get_property(hp
, mp
, "type", &len
);
707 if (!of_find_in_proplist(type
, "int", len
) &&
708 !of_find_in_proplist(type
, "integer", len
))
711 mark_proc_ids(hp
, mp
, idx
);
717 static void __cpuinit
set_proc_ids(struct mdesc_handle
*hp
)
719 __set_proc_ids(hp
, "exec_unit");
720 __set_proc_ids(hp
, "exec-unit");
723 static void __cpuinit
get_one_mondo_bits(const u64
*p
, unsigned int *mask
,
724 unsigned long def
, unsigned long max
)
732 if (!val
|| val
>= 64)
738 *mask
= ((1U << val
) * 64U) - 1U;
742 *mask
= ((1U << def
) * 64U) - 1U;
745 static void __cpuinit
get_mondo_data(struct mdesc_handle
*hp
, u64 mp
,
746 struct trap_per_cpu
*tb
)
751 val
= mdesc_get_property(hp
, mp
, "q-cpu-mondo-#bits", NULL
);
752 get_one_mondo_bits(val
, &tb
->cpu_mondo_qmask
, 7, ilog2(max_cpus
* 2));
754 val
= mdesc_get_property(hp
, mp
, "q-dev-mondo-#bits", NULL
);
755 get_one_mondo_bits(val
, &tb
->dev_mondo_qmask
, 7, 8);
757 val
= mdesc_get_property(hp
, mp
, "q-resumable-#bits", NULL
);
758 get_one_mondo_bits(val
, &tb
->resum_qmask
, 6, 7);
760 val
= mdesc_get_property(hp
, mp
, "q-nonresumable-#bits", NULL
);
761 get_one_mondo_bits(val
, &tb
->nonresum_qmask
, 2, 2);
763 pr_info("SUN4V: Mondo queue sizes "
764 "[cpu(%u) dev(%u) r(%u) nr(%u)]\n",
765 tb
->cpu_mondo_qmask
+ 1,
766 tb
->dev_mondo_qmask
+ 1,
768 tb
->nonresum_qmask
+ 1);
772 static void * __cpuinit
mdesc_iterate_over_cpus(void *(*func
)(struct mdesc_handle
*, u64
, int, void *), void *arg
, cpumask_t
*mask
)
774 struct mdesc_handle
*hp
= mdesc_grab();
778 mdesc_for_each_node_by_name(hp
, mp
, "cpu") {
779 const u64
*id
= mdesc_get_property(hp
, mp
, "id", NULL
);
783 if (cpuid
>= NR_CPUS
) {
784 printk(KERN_WARNING
"Ignoring CPU %d which is "
789 if (!cpumask_test_cpu(cpuid
, mask
))
793 ret
= func(hp
, mp
, cpuid
, arg
);
802 static void * __cpuinit
record_one_cpu(struct mdesc_handle
*hp
, u64 mp
, int cpuid
, void *arg
)
806 set_cpu_present(cpuid
, true);
811 void __cpuinit
mdesc_populate_present_mask(cpumask_t
*mask
)
813 if (tlb_type
!= hypervisor
)
817 mdesc_iterate_over_cpus(record_one_cpu
, NULL
, mask
);
820 static void * __cpuinit
fill_in_one_cpu(struct mdesc_handle
*hp
, u64 mp
, int cpuid
, void *arg
)
822 const u64
*cfreq
= mdesc_get_property(hp
, mp
, "clock-frequency", NULL
);
823 struct trap_per_cpu
*tb
;
828 /* On uniprocessor we only want the values for the
829 * real physical cpu the kernel booted onto, however
830 * cpu_data() only has one entry at index 0.
832 if (cpuid
!= real_hard_smp_processor_id())
837 c
= &cpu_data(cpuid
);
838 c
->clock_tick
= *cfreq
;
840 tb
= &trap_block
[cpuid
];
841 get_mondo_data(hp
, mp
, tb
);
843 mdesc_for_each_arc(a
, hp
, mp
, MDESC_ARC_TYPE_FWD
) {
844 u64 j
, t
= mdesc_arc_target(hp
, a
);
847 t_name
= mdesc_node_name(hp
, t
);
848 if (!strcmp(t_name
, "cache")) {
849 fill_in_one_cache(c
, hp
, t
);
853 mdesc_for_each_arc(j
, hp
, t
, MDESC_ARC_TYPE_FWD
) {
854 u64 n
= mdesc_arc_target(hp
, j
);
857 n_name
= mdesc_node_name(hp
, n
);
858 if (!strcmp(n_name
, "cache"))
859 fill_in_one_cache(c
, hp
, n
);
869 void __cpuinit
mdesc_fill_in_cpu_data(cpumask_t
*mask
)
871 struct mdesc_handle
*hp
;
873 mdesc_iterate_over_cpus(fill_in_one_cpu
, NULL
, mask
);
876 sparc64_multi_core
= 1;
886 smp_fill_in_sib_core_maps();
889 static ssize_t
mdesc_read(struct file
*file
, char __user
*buf
,
890 size_t len
, loff_t
*offp
)
892 struct mdesc_handle
*hp
= mdesc_grab();
898 err
= hp
->handle_size
;
899 if (len
< hp
->handle_size
)
901 else if (copy_to_user(buf
, &hp
->mdesc
, hp
->handle_size
))
908 static const struct file_operations mdesc_fops
= {
910 .owner
= THIS_MODULE
,
911 .llseek
= noop_llseek
,
914 static struct miscdevice mdesc_misc
= {
915 .minor
= MISC_DYNAMIC_MINOR
,
920 static int __init
mdesc_misc_init(void)
922 return misc_register(&mdesc_misc
);
925 __initcall(mdesc_misc_init
);
927 void __init
sun4v_mdesc_init(void)
929 struct mdesc_handle
*hp
;
930 unsigned long len
, real_len
, status
;
932 (void) sun4v_mach_desc(0UL, 0UL, &len
);
934 printk("MDESC: Size is %lu bytes.\n", len
);
936 hp
= mdesc_alloc(len
, &memblock_mdesc_ops
);
938 prom_printf("MDESC: alloc of %lu bytes failed.\n", len
);
942 status
= sun4v_mach_desc(__pa(&hp
->mdesc
), len
, &real_len
);
943 if (status
!= HV_EOK
|| real_len
> len
) {
944 prom_printf("sun4v_mach_desc fails, err(%lu), "
945 "len(%lu), real_len(%lu)\n",
946 status
, len
, real_len
);
953 report_platform_properties();