ctrl_cmd_pa_high   82 drivers/char/tpm/tpm_crb.c 	u32 ctrl_cmd_pa_high;
ctrl_cmd_pa_high  552 drivers/char/tpm/tpm_crb.c 	pa_high = ioread32(&priv->regs_t->ctrl_cmd_pa_high);