MultiProcessor Specification 参考文献 MultiProcessor Specification - Wikipedia xv6OSを真面目に読みこんでカーネルを完全に理解する -マルチプロセッサ 編-｜かえるのほんだな x86-64 - OSDev Wiki