HomeSort by: relevance | last modified time | path
    Searched defs:tx_reboot (Results 1 - 1 of 1) sorted by relevancy

  /src/sys/arch/hpcmips/tx/
tx39.c 97 void tx_reboot(int, char *);
115 platform.reboot = tx_reboot;
238 tx_reboot(int howto, char *bootstr) function in typeref:typename:void

Completed in 13 milliseconds