DataMuseum.dk

top - download

    Length: 3671 (0xe57)
    Types: TextFile
    Notes: R1k Text-file segment

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦3705b1f6e⟧ 
            └─⟦this⟧ 

TextFile

with v_i_types;
package v_i_krn_trace is

	pragma suppress (ALL_CHECKS);
	pragma suppress (EXCEPTION_TABLES);
	pragma not_elaborated;
	pragma local_access;

	subtype address_sized_type is v_i_types.universal_scalar;
	zero : constant address_sized_type := v_i_types.NO_UNIVERSAL_SCALAR;

	-- Internal events used within the run-time only. Not visible to users
	type kernel_events is (
		-- Logged by the kernel
		KD_Ceiling_Mutex_Lock,
		KD_Ceiling_Mutex_Unlock,
		KD_Checks_Current_Run_Queue,
 		KD_Cond_Broadcast,
		KD_Cond_Suspend, 
		KD_Cond_Signal, 
		KD_Cond_Signal_Unlock,
		KD_Cond_Timed_Wait,
		KD_Cond_Timeout, 
		KD_Cond_Wait,
		KD_Cond_Wait_Unlock,
		KD_Creating_Dummy_Idle_Tasks,
		KD_Current_Task_Does_Time_Delay,
		KD_Current_Task_Pending_Free,
		KD_Enter_From_Isr_Callout,
		KD_Enter_From_User,
		KD_Enter_From_User_Suptask,
 		KD_Isr_Cond_Broadcast,
		KD_Isr_Cond_Signal, 
		KD_Isr_Semaphore_Signal,
		KD_Isr_Task_Suspend,
		KD_Isr_Task_Resume,
		KD_Mutex_Lock,
		KD_Mutex_Unlock,
		KD_Mutex_Unlock_Other_Waiting,
		KD_Mutex_Resume, 
		KD_Mutex_Suspend, 
		KD_Pending_Cond_Broadcast, 
		KD_Pending_Cond_Resume, 
		KD_Pending_Cond_Signal, 
		KD_Pending_Handle, 
		KD_Pending_Overflow,
		KD_Reaches_Delay_Timeout_Adds_Task_To_Run_Queue,
		KD_Reaches_Time_Event,
		KD_Runq_Add,
		KD_Semaphore_Remove,
		KD_Semaphore_Signal,
		KD_Semaphore_Suspend,
		KD_Semaphore_Timed_Wait,
		KD_Semaphore_Timeout,
		KD_Semaphore_Wait,
		KD_Slice_Timeout,
		KD_Slow_Switch_To,
		KD_Switch_To,
		KD_Switches_To_Idle_Task,
		KD_TCB_ENTRY,
		KD_Supervisor_Task_Signal,
		KD_Supervisor_Task_Wait,
		KD_Task_Activate,
		KD_Task_Attach_Cpu,
		KD_Task_Create,
		KD_Task_Free,
		KD_Task_Resume,
		KD_Task_Set_Priority,
		KD_Task_Signal,
		KD_Task_Signal_Unlock,
		KD_Task_Signal_Wait_Unlock,
		KD_Task_Signal_Wait_Unlock_Complete,
		KD_Task_Suspend,
		KD_Task_Terminate,
		KD_Task_Wait,
		KD_Task_Wait_Complete,
		KD_Task_Wait_Unlock,
		KD_Task_Wait_Unlock_Complete,
		KD_Task_Timed_Wait,
		KD_Task_Timed_Wait_Complete,
		KD_Task_Timed_Wait_Timeout,

		-- Logged by the usr program (usr_task package)
		USR_FIRST_MESSAGE,
		UD_Main_Create,
		UD_Masters_Lock,
		UD_Masters_Trylock,
		UD_Masters_Unlock,
		UD_Task_Activate,
		UD_Task_Create,
		UD_Task_Destroy,
		UD_Task_Destroy_Self,
		UD_Task_Lock,
		UD_Task_Resume,
		UD_Task_Signal,
		UD_Task_Signal_Unlock,
		UD_Task_Signal_Wait_Unlock,
		UD_Task_Stop,
		UD_Task_Stop_Self,
		UD_Task_Suspend,
		UD_Task_Timed_Wait,
		UD_Task_Unlock,
		UD_Task_Wait,
		UD_Task_Wait_Locked_Masters,
		UD_Task_Wait_Unlock,

		-- Logged by the usr program (usr_mutex package)
		UD_Cond_Broadcast,
		UD_Cond_Signal,
		UD_Cond_Signal_Unlock,
		UD_Cond_Timed_Wait,
		UD_Cond_Wait,
		UD_Intr_Cond_Timed_Wait,
		UD_Intr_Cond_Wait,
		UD_Intr_Mutex_Lock,
		UD_Intr_Mutex_Unlock,
		UD_Mutex_Destroy,
		UD_Mutex_Init,
		UD_Mutex_Lock,
		UD_Mutex_Trylock,
		UD_Mutex_Unlock,
		UD_Prio_Mutex_Trylock,
		UD_Prio_Mutex_Unlock,
		--
 		-- TS enumerations
 		--
 		TD_First_Message,
		--
		-- DA enumerations
		--
		DA_First_Message,
		DA_Send,
		DA_Receive
 		--
	);

	type Kernel_enables is array(Kernel_Events) of boolean;
 
	Krn_log_enables : Kernel_enables;
	pragma interface_name (krn_log_enables, "__V_I_KRN_TRACE_LOG_ENABLES");
	Krn_log_setup : Kernel_enables;

	procedure kernel_log(kind  : kernel_events;
	                     p1    : address_sized_type := Zero;
	                     p2    : address_sized_type := Zero;
	                     p3    : address_sized_type := Zero;
	                     p4    : address_sized_type := Zero);
	pragma interface (Ada, kernel_log);
	pragma interface_name(kernel_log, "__TS_DEBUG_KERNEL_LOG");


end v_i_krn_trace