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;