Rev 2415 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
void as_arch_init(void)
{
as_operations = &as_pt_operations;
}
/** @}
*/