db_addr_high      109 drivers/firmware/arm_scmi/perf.c 	__le32 db_addr_high;
db_addr_high      546 drivers/firmware/arm_scmi/perf.c 		phys_addr |= (u64)le32_to_cpu(resp->db_addr_high) << 32;