Feature #4360
open
150: Locking and unlocking SDIO bus
Added by Alexey Khoroshilov over 11 years ago.
Updated about 10 years ago.
Description
The main lock function is sdio_claim_host(), unlock function is sdio_release_host().
Other functions to be modeled should be identified across users of mmc_claim_host(), mmc_try_claim_host(), mmc_release_host().
This is an example of violation of this rule: 1575714
- Status changed from New to Resolved
Implemented by Amr Shibiny during GSoC-2013, merged in master and released in LDV 0.5.
Unnecessary headers
#include <linux/mutex.h>
#include <linux/mmc/sdio_func.h>
#include <linux/mmc/host.h>
#include <linux/mmc/card.h>
#include <linux/wait.h>
may cause Aspectator to failed at 'instrumentation' stage (for example, module drivers/staging/rtl8712/r8712u.ko, kernel 3.16-rc1).
Headers
#include <linux/mmc/sdio_func.h>
#include <linux/mmc/host.h>
#include <linux/mmc/card.h>
are actually required (for example, for module drivers/mmc/card/sdio_uart.ko).
- Description updated (diff)
- Status changed from Resolved to Open
sdio_claim_host/mmc_claim_host supports nested claiming by the current thread.
So the following assert is not valid:
void ldv_sdio_claim_host(int dev_id)
{
/* LDV_COMMENT_ASSERT Check if the bus hasn't been claimed before. */
ldv_assert(ldv_sdio_element == 0);
Also available in: Atom
PDF