ASB_READ          161 drivers/soc/bcm/bcm2835-power.c 	ASB_WRITE(reg, ASB_READ(reg) & ~ASB_REQ_STOP);
ASB_READ          162 drivers/soc/bcm/bcm2835-power.c 	while (ASB_READ(reg) & ASB_ACK) {
ASB_READ          181 drivers/soc/bcm/bcm2835-power.c 	ASB_WRITE(reg, ASB_READ(reg) | ASB_REQ_STOP);
ASB_READ          182 drivers/soc/bcm/bcm2835-power.c 	while (!(ASB_READ(reg) & ASB_ACK)) {
ASB_READ          630 drivers/soc/bcm/bcm2835-power.c 	id = ASB_READ(ASB_AXI_BRDG_ID);