view src/gpf2/osl/os_mis_ir.c @ 589:9b81b68e8e64

armio.c: SE J100 GPIO config changed to new knowledge from disassembly
author Mychaela Falconia <falcon@freecalypso.org>
date Thu, 14 Mar 2019 23:51:42 +0000
parents 2d1e5ad1d54f
children
line wrap: on
line source

/*
 * This C module is a reconstruction based on the disassembly of
 * os_mis.obj in frame_na7_db_ir.lib from the Leonardo package.
 */

/* subset of included headers from COFF symtab: */
#include "nucleus.h"
#include "typedefs.h"
#include "os.h"
#include "gdi.h"
#include "os_types.h"
#include "os_glob.h"

extern unsigned os_tick_to_time_multiplier;

GLOBAL LONG
os_GetTime(OS_HANDLE Caller, OS_TIME *Time)
{
	UNSIGNED Value;

	Value = NU_Retrieve_Clock();
	*Time = SYSTEM_TICKS_TO_TIME(Value);
	return(OS_OK);
}