taglinefilesource code
AUX_MAGIC_WRITE84kernel/chr_drv/psaux.coutb_p(AUX_MAGIC_WRITE,AUX_COMMAND);  /* write magic cookie */
AUX_MAGIC_WRITE208kernel/chr_drv/psaux.coutb_p(AUX_MAGIC_WRITE,AUX_COMMAND);