# /dev/block/mmcblk0p3
allow fsck emmcblk_device:blk_file rw_file_perms;
allow fsck efs_block_device:blk_file { ioctl open read write };