18#ifndef _INIT_PROPERTY_H
19#define _INIT_PROPERTY_H
23#include "system_properties.h"
25extern void handle_property_set_fd(
void);
26void property_init_se(
void);
27extern void property_load_boot_defaults(
void);
28extern void load_persist_props(
void);
29extern void start_property_service(
void);
30void get_property_workspace(
int *fd,
int *sz);
31extern int __property_get(
const char *name,
char *value);
32extern int property_set(
const char *name,
const char *value);
33extern int properties_inited();
34int get_property_set_fd(
void);
35int property_is_running(
void);
36void property_init_mm(
void);
38extern void __property_get_size_error()
39 __attribute__((__error__(
"property_get called with too small buffer")));
42__attribute__ ((always_inline))
43__attribute__ ((gnu_inline))
44__attribute__ ((artificial))
45int property_get_se(const
char *name,
char *value)
47 size_t value_len = __builtin_object_size(value, 0);
48 if (value_len != PROP_VALUE_MAX)
49 __property_get_size_error();
51 return __property_get(name, value);