allow hal_health_default mnt_vendor_file:dir search;

allow hal_health_default app_efs_file:file { setattr write };

allow hal_health_default default_android_hwservice:hwservice_manager add;

allow hal_health_default sysfs:file { getattr open read write };

r_dir_file(hal_health_default, app_efs_file)
r_dir_file(hal_health_default, efs_file)
r_dir_file(hal_health_default, battery_efs_file)