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

  /src/sys/arch/ia64/ia64/
sal.c 137 if (dp->sale_vector < 0x10 || dp->sale_vector > 0xff) {
139 "(0x%lx)\n", dp->sale_vector);
148 * Wake-up: priority of the sale_vector
155 if (dp->sale_vector < 0x40) {
157 "(0x%lx)\n", dp->sale_vector);
163 dp->sale_vector);
165 ipi_vector[IPI_AP_WAKEUP] = dp->sale_vector;
166 setup_ipi_vectors(dp->sale_vector & 0xf0);
  /src/sys/arch/ia64/include/
sal.h 98 u_int64_t sale_vector; member in struct:sal_ap_wakeup_descriptor
  /src/sys/arch/ia64/stand/ia64/efi/
main.c 379 printf(" Vector 0x%lx\n", dp->sale_vector);

Completed in 12 milliseconds