Changeset View

Standalone View

Show First 20 Lines • Show All 103 Lines • ▼ Show 20 Lines	get_mpidr(void)
uint64_t mpidr;		uint64_t mpidr;

mpidr = READ_SPECIALREG(mpidr_el1);		mpidr = READ_SPECIALREG(mpidr_el1);

return (mpidr);		return (mpidr);
}		}

#define cpu_nullop() arm64_nullop()		#define cpu_nullop() arm64_nullop()
		#define cpufunc_nullop() arm64_nullop()
#define cpu_setttb(a) arm64_setttb(a)		#define cpu_setttb(a) arm64_setttb(a)

#define cpu_tlb_flushID() arm64_tlb_flushID()		#define cpu_tlb_flushID() arm64_tlb_flushID()
#define cpu_tlb_flushID_SE(e) arm64_tlb_flushID_SE(e)		#define cpu_tlb_flushID_SE(e) arm64_tlb_flushID_SE(e)

#define cpu_dcache_wbinv_range(a, s) arm64_dcache_wbinv_range((a), (s))		#define cpu_dcache_wbinv_range(a, s) arm64_dcache_wbinv_range((a), (s))
#define cpu_dcache_inv_range(a, s) arm64_dcache_inv_range((a), (s))		#define cpu_dcache_inv_range(a, s) arm64_dcache_inv_range((a), (s))
#define cpu_dcache_wb_range(a, s) arm64_dcache_wb_range((a), (s))		#define cpu_dcache_wb_range(a, s) arm64_dcache_wb_range((a), (s))
Show All 16 Lines