Searched refs:sys_read64 (Results 1 – 15 of 15) sorted by relevance
83 timestamp->lscs = sys_read64(LSCS_ADDR); in intel_adsp_get_timestamp()84 timestamp->dwccs = sys_read64(DWCCS_ADDR); in intel_adsp_get_timestamp()85 timestamp->artcs = sys_read64(ARTCS_ADDR); in intel_adsp_get_timestamp()
118 uint64_t reg = sys_read64(data->base + GITS_BASER(i)); in its_probe_baser_page_size()125 reg = sys_read64(data->base + GITS_BASER(i)); in its_probe_baser_page_size()152 unsigned int device_ids = GITS_TYPER_DEVBITS_GET(sys_read64(data->base + GITS_TYPER)) + 1; in its_alloc_tables()156 uint64_t reg = sys_read64(data->base + GITS_BASER(i)); in its_alloc_tables()464 uint64_t typer = sys_read64(data->base + GITS_TYPER); in gicv3_rdist_get_rdbase()469 return GICR_TYPER_PROCESSOR_NUMBER_GET(sys_read64(gic_rdists[cpuid] + GICR_TYPER)); in gicv3_rdist_get_rdbase()507 entry_size = GITS_TYPER_ITT_ENTRY_SIZE_GET(sys_read64(data->base + GITS_TYPER)) + 1; in gicv3_its_init_device_id()
552 val = sys_read64(addr); in arm_gic_get_typer()
63 return sys_read64(base_address + reg); in vtd_read_reg64()
53 static ALWAYS_INLINE uint64_t sys_read64(mem_addr_t addr) in sys_read64() function
75 static ALWAYS_INLINE uint64_t sys_read64(mem_addr_t addr) in sys_read64() function
85 static ALWAYS_INLINE uint64_t sys_read64(mem_addr_t addr) in sys_read64() function
15 #define sys_read64(addr) (((uint64_t)(sys_read32(addr + 4)) << 32) | \ macro85 addr = sys_read64(MSIX_VECTOR_OFF(msix_num) + MSIX_TBL_ADDR_OFF); in generate_msix()
67 static ALWAYS_INLINE uint64_t sys_read64(mem_addr_t addr) in sys_read64() function
34 static ALWAYS_INLINE uint64_t sys_read64(mm_reg_t addr) in sys_read64() function
92 #define sys_read64(addr) mock_sys_read64(addr) macro
65 return sys_read64(addr); in litex_read64()
34 #define sys_read64(addr) (((uint64_t)(sys_read32(addr + 4)) << 32) | \ macro452 tsd->walclk = sys_read64(TS_DMIC_LOCAL_WALCLK); in dai_timestamp_dmic_get()455 tsd->sample = sys_read64(TS_DMIC_LOCAL_SAMPLE); in dai_timestamp_dmic_get()
96 uint64_t val = sys_read64(MAIN_COUNTER_LOW_REG); in hpet_counter_get()
45 return sys_read64(reg_addr); in ibecc_read_reg64()