Changeset View

Standalone View

	Show First 20 Lines • Show All 42 Lines • ▼ Show 20 Lines

	/* Board-specific attributes */			/* Board-specific attributes */
	void board_set_serial(uint64_t);			void board_set_serial(uint64_t);
	void board_set_revision(uint32_t);			void board_set_revision(uint32_t);

	int arm_predict_branch(void , u_int, register_t, register_t ,			int arm_predict_branch(void , u_int, register_t, register_t ,
	u_int ()(void, int), u_int ()(void, vm_offset_t, u_int*));			u_int ()(void, int), u_int ()(void, vm_offset_t, u_int*));

				extern uint8_t __aux_rescue_stack[];

	#endif /* !_MACHINE_MACHDEP_H_ */			#endif /* !_MACHINE_MACHDEP_H_ */