Merge pull request #1087 from quic-vkatoch/fix-interface

devices: Rename FastRPC interfaces to follow dev_ naming convention

Author: pebenito

policy/modules/kernel/devices.if

@@ -6180,7 +6180,7 @@ interface(`dev_unconfined',`
 ##	/dev/fastrpc-gdsp[0-9]*, /dev/fastrpc-sdsp
 ##	</p>
 ##	<p>
-##	Example usage: fastrpc_read_device(xdsprpcd_t)
+##	Example usage: dev_read_fastrpc(xdsprpcd_t)
 ##	</p>
 ## </desc>
 ## <param name="domain">
@@ -6189,7 +6189,7 @@ interface(`dev_unconfined',`
 ##	</summary>
 ## </param>
 #
-interface(`fastrpc_read_device',`
+interface(`dev_read_fastrpc',`
 	gen_require(`
 		type device_t, fastrpc_device_t;
 	')
@@ -6209,7 +6209,7 @@ interface(`fastrpc_read_device',`
 ##	/dev/fastrpc-gdsp[0-9]*-secure, /dev/fastrpc-sdsp-secure
 ##	</p>
 ##	<p>
-##	Example usage: fastrpc_read_secure_device(xdsprpcd_t)
+##	Example usage: dev_read_secure_fastrpc(xdsprpcd_t)
 ##	</p>
 ## </desc>
 ## <param name="domain">
@@ -6218,7 +6218,7 @@ interface(`fastrpc_read_device',`
 ##	</summary>
 ## </param>
 #
-interface(`fastrpc_read_secure_device',`
+interface(`dev_read_secure_fastrpc',`
 	gen_require(`
 		type device_t, fastrpc_secure_device_t;
 	')