Changeset View

Standalone View

	Show First 20 Lines • Show All 103 Lines • ▼ Show 20 Lines
	int gic_v3_detach(device_t dev);			int gic_v3_detach(device_t dev);
	int arm_gic_v3_intr(void *);			int arm_gic_v3_intr(void *);

	uint32_t gic_r_read_4(device_t, bus_size_t);			uint32_t gic_r_read_4(device_t, bus_size_t);
	uint64_t gic_r_read_8(device_t, bus_size_t);			uint64_t gic_r_read_8(device_t, bus_size_t);
	void gic_r_write_4(device_t, bus_size_t, uint32_t var);			void gic_r_write_4(device_t, bus_size_t, uint32_t var);
	void gic_r_write_8(device_t, bus_size_t, uint64_t var);			void gic_r_write_8(device_t, bus_size_t, uint64_t var);

				void gic_v3_alloc_maint_res(device_t);
				int gic_v3_setup_maint_intr(driver_filter_t, driver_intr_t, void *);
				int gic_v3_teardown_maint_intr(void);

	/*			/*
	* GIC Distributor accessors.			* GIC Distributor accessors.
	* Notice that only GIC sofc can be passed.			* Notice that only GIC sofc can be passed.
	*/			*/
	#define gic_d_read(sc, len, reg) \			#define gic_d_read(sc, len, reg) \
	({ \			({ \
	bus_read_##len(sc->gic_dist, reg); \			bus_read_##len(sc->gic_dist, reg); \
	})			})
	Show All 26 Lines