diff --git a/private/healthd.te b/private/healthd.te
index 0693a3a683d078e39b086c36fedf3c579908a229..20d0791739606dd0e886a1f0eacd9cb6308d40b1 100644
--- a/private/healthd.te
+++ b/private/healthd.te
@@ -2,5 +2,5 @@ typeattribute healthd coredomain;
 
 init_daemon_domain(healthd)
 
-# Allow callback to storaged batteryproperties listener
-binder_call(healthd, storaged)
+# Allow healthd to serve health HAL
+hal_server_domain(healthd, hal_health)
diff --git a/private/storaged.te b/private/storaged.te
index 8da1f26d8b285d1d70841c8542bfd46163da39ac..96d59d978be963f0842e4e71fc5d10e4a8fe3b48 100644
--- a/private/storaged.te
+++ b/private/storaged.te
@@ -40,9 +40,7 @@ add_service(storaged, storaged_service)
 binder_use(storaged)
 binder_call(storaged, system_server)
 
-# use batteryproperties service
-allow storaged batteryproperties_service:service_manager find;
-binder_call(storaged, healthd)
+hal_client_domain(storaged, hal_health)
 
 # Implements a dumpsys interface.
 allow storaged dumpstate:fd use;
diff --git a/public/healthd.te b/public/healthd.te
index c0a7bec7bd3d5f02f6562ba0090852e929901c79..7f99c9f7d625e6e92e932d045a9a791ec8ff6126 100644
--- a/public/healthd.te
+++ b/public/healthd.te
@@ -21,9 +21,6 @@ allow healthd self:netlink_kobject_uevent_socket create_socket_perms_no_ioctl;
 
 wakelock_use(healthd)
 
-binder_use(healthd)
-binder_service(healthd)
-binder_call(healthd, system_server)
 hal_client_domain(healthd, hal_health)
 
 # Write to state file.
@@ -56,8 +53,6 @@ allow healthd ashmem_device:chr_file execute;
 allow healthd self:process execmem;
 allow healthd proc_sysrq:file rw_file_perms;
 
-add_service(healthd, batteryproperties_service)
-
 # Healthd needs to tell init to continue the boot
 # process when running in charger mode.
 set_prop(healthd, system_prop)