HomeSort by: relevance | last modified time | path
    Searched refs:IPI_SEND_CNCHAR (Results 1 - 5 of 5) sorted by relevancy

  /src/sys/rump/include/machine/
cpu.h 57 #define IPI_SEND_CNCHAR 0
  /src/sys/arch/vax/include/
lock.h 101 #define VAX_LOCK_CHECKS ((1 << IPI_SEND_CNCHAR) | (1 << IPI_DDB))
cpu.h 94 #define IPI_SEND_CNCHAR 2 /* Write char to console, kernel printf */
  /src/sys/arch/vax/vax/
multicpu.c 172 case IPI_SEND_CNCHAR:
ka820.c 635 cpu_send_ipi(IPI_DEST_MASTER, IPI_SEND_CNCHAR);

Completed in 14 milliseconds