lib.rs 30 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701
  1. //! `aml` is a pure-Rust AML (ACPI Machine Language) parser, used for parsing the DSDT and
  2. //! SSDT tables from ACPI. This crate can be used by kernels to gather information about the
  3. //! hardware, and invoke control methods (this is not yet supported) to query and change the state
  4. //! of devices in a hardware-independent way.
  5. //!
  6. //! ### Using the library
  7. //! To use the library, you will mostly interact with the `AmlContext` type. You should create an
  8. //! instance of this type using `AmlContext::new()`, and then pass it tables containing AML
  9. //! (probably from the `acpi` crate), which you've mapped into the virtual address space. This will
  10. //! parse the table, populating the namespace with objects encoded by the AML. After this, you may
  11. //! unmap the memory the table was mapped into - all the information needed will be extracted and
  12. //! allocated on the heap.
  13. //!
  14. //! You can then access specific objects by name like so: e.g.
  15. //! ```ignore
  16. //! let my_aml_value = aml_context.lookup(&AmlName::from_str("\\_SB.PCI0.S08._ADR").unwrap());
  17. //! ```
  18. // TODO: add example of invoking a method
  19. //!
  20. //! ### About the parser
  21. //! The parser is written using a set of custom parser combinators - the code can be confusing on
  22. //! first reading, but provides an extensible and type-safe way to write parsers. For an easy
  23. //! introduction to parser combinators and the foundations used for this library, I suggest reading
  24. //! [Bodil's fantastic blog post](https://bodil.lol/parser-combinators/).
  25. //!
  26. //! The actual combinators can be found in `parser.rs`. Various tricks are used to provide a nice
  27. //! API and work around limitations in the type system, such as the concrete types like
  28. //! `MapWithContext`, and the `make_parser_concrete` hack macro.
  29. //!
  30. //! The actual parsers are then grouped into categories based loosely on the AML grammar sections in
  31. //! the ACPI spec. Most are written in terms of combinators, but some have to be written in a more
  32. //! imperitive style, either because they're clearer, or because we haven't yet found good
  33. //! combinator patterns to express the parse.
  34. #![no_std]
  35. #![feature(decl_macro, type_ascription, box_syntax)]
  36. extern crate alloc;
  37. #[cfg(test)]
  38. extern crate std;
  39. #[cfg(test)]
  40. mod test_utils;
  41. pub(crate) mod misc;
  42. pub(crate) mod name_object;
  43. pub(crate) mod namespace;
  44. pub(crate) mod opcode;
  45. pub(crate) mod parser;
  46. pub mod pci_routing;
  47. pub(crate) mod pkg_length;
  48. pub mod resource;
  49. pub(crate) mod term_object;
  50. pub(crate) mod type1;
  51. pub(crate) mod type2;
  52. pub mod value;
  53. pub use crate::{
  54. namespace::{AmlHandle, AmlName, Namespace},
  55. value::AmlValue,
  56. };
  57. use alloc::boxed::Box;
  58. use core::mem;
  59. use log::error;
  60. use misc::{ArgNum, LocalNum};
  61. use name_object::Target;
  62. use namespace::LevelType;
  63. use parser::Parser;
  64. use pkg_length::PkgLength;
  65. use term_object::term_list;
  66. use value::{AmlType, Args};
  67. /// AML has a `RevisionOp` operator that returns the "AML interpreter revision". It's not clear
  68. /// what this is actually used for, but this is ours.
  69. pub const AML_INTERPRETER_REVISION: u64 = 0;
  70. /// Describes how much debug information the parser should emit. Set the "maximum" expected verbosity in
  71. /// the context's `debug_verbosity` - everything will be printed that is less or equal in 'verbosity'.
  72. #[derive(Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Debug)]
  73. pub enum DebugVerbosity {
  74. /// Print no debug information
  75. None,
  76. /// Print heads and tails when entering and leaving scopes of major objects, but not more minor ones.
  77. Scopes,
  78. /// Print heads and tails when entering and leaving scopes of all objects.
  79. AllScopes,
  80. /// Print heads and tails of all objects, and extra debug information as it's parsed.
  81. All,
  82. }
  83. struct MethodContext {
  84. /*
  85. * AML local variables. These are used when we invoke a control method. A `None` value
  86. * represents a null AML object.
  87. */
  88. local_0: Option<AmlValue>,
  89. local_1: Option<AmlValue>,
  90. local_2: Option<AmlValue>,
  91. local_3: Option<AmlValue>,
  92. local_4: Option<AmlValue>,
  93. local_5: Option<AmlValue>,
  94. local_6: Option<AmlValue>,
  95. local_7: Option<AmlValue>,
  96. /// If we're currently invoking a control method, this stores the arguments that were passed to
  97. /// it. It's `None` if we aren't invoking a method.
  98. args: Args,
  99. }
  100. impl MethodContext {
  101. fn new(args: Args) -> MethodContext {
  102. MethodContext {
  103. local_0: None,
  104. local_1: None,
  105. local_2: None,
  106. local_3: None,
  107. local_4: None,
  108. local_5: None,
  109. local_6: None,
  110. local_7: None,
  111. args,
  112. }
  113. }
  114. }
  115. pub struct AmlContext {
  116. /// The `Handler` passed from the library user. This is stored as a boxed trait object simply to avoid having
  117. /// to add a lifetime and type parameter to `AmlContext`, as they would massively complicate the parser types.
  118. handler: Box<dyn Handler>,
  119. legacy_mode: bool,
  120. pub namespace: Namespace,
  121. method_context: Option<MethodContext>,
  122. /*
  123. * These track the state of the context while it's parsing an AML table.
  124. */
  125. current_scope: AmlName,
  126. scope_indent: usize,
  127. debug_verbosity: DebugVerbosity,
  128. }
  129. impl AmlContext {
  130. /// Creates a new `AmlContext` - the central type in managing the AML tables. Only one of these should be
  131. /// created, and it should be passed the DSDT and all SSDTs defined by the hardware.
  132. ///
  133. /// ### Legacy mode
  134. /// If `true` is passed in `legacy_mode`, the library will try and remain compatible with a ACPI 1.0
  135. /// implementation. The following changes/assumptions are made:
  136. ///
  137. /// - Two extra root namespaces are predefined: `\_PR` and `\_TZ`
  138. /// - Processors are expected to be defined with `DefProcessor`, instead of `DefDevice`
  139. /// - Processors are expected to be found in `\_PR`, instead of `\_SB`
  140. /// - Thermal zones are expected to be found in `\_TZ`, instead of `\_SB`
  141. pub fn new(handler: Box<dyn Handler>, legacy_mode: bool, debug_verbosity: DebugVerbosity) -> AmlContext {
  142. let mut context = AmlContext {
  143. handler,
  144. legacy_mode,
  145. namespace: Namespace::new(),
  146. method_context: None,
  147. current_scope: AmlName::root(),
  148. scope_indent: 0,
  149. debug_verbosity,
  150. };
  151. /*
  152. * Add the predefined root namespaces.
  153. */
  154. context.namespace.add_level(AmlName::from_str("\\_GPE").unwrap(), LevelType::Scope).unwrap();
  155. context.namespace.add_level(AmlName::from_str("\\_SB").unwrap(), LevelType::Scope).unwrap();
  156. context.namespace.add_level(AmlName::from_str("\\_SI").unwrap(), LevelType::Scope).unwrap();
  157. if legacy_mode {
  158. context.namespace.add_level(AmlName::from_str("\\_PR").unwrap(), LevelType::Scope).unwrap();
  159. context.namespace.add_level(AmlName::from_str("\\_TZ").unwrap(), LevelType::Scope).unwrap();
  160. }
  161. context
  162. }
  163. pub fn parse_table(&mut self, stream: &[u8]) -> Result<(), AmlError> {
  164. if stream.len() == 0 {
  165. return Err(AmlError::UnexpectedEndOfStream);
  166. }
  167. let table_length = PkgLength::from_raw_length(stream, stream.len() as u32).unwrap();
  168. match term_object::term_list(table_length).parse(stream, self) {
  169. Ok(_) => Ok(()),
  170. Err((_, _, err)) => {
  171. error!("Failed to parse AML stream. Err = {:?}", err);
  172. Err(err)
  173. }
  174. }
  175. }
  176. // TODO: docs
  177. pub fn invoke_method(&mut self, path: &AmlName, args: Args) -> Result<AmlValue, AmlError> {
  178. match self.namespace.get_by_path(path)?.clone() {
  179. AmlValue::Method { flags, code } => {
  180. /*
  181. * First, set up the state we expect to enter the method with, but clearing local
  182. * variables to "null" and setting the arguments. Save the current method state and scope, so if we're
  183. * already executing another control method, we resume into it correctly.
  184. */
  185. let old_context = mem::replace(&mut self.method_context, Some(MethodContext::new(args)));
  186. let old_scope = mem::replace(&mut self.current_scope, path.clone());
  187. /*
  188. * Create a namespace level to store local objects created by the invocation.
  189. */
  190. self.namespace.add_level(path.clone(), LevelType::MethodLocals)?;
  191. let return_value = match term_list(PkgLength::from_raw_length(&code, code.len() as u32).unwrap())
  192. .parse(&code, self)
  193. {
  194. // If the method doesn't return a value, we implicitly return `0`
  195. Ok(_) => Ok(AmlValue::Integer(0)),
  196. Err((_, _, AmlError::Return(result))) => Ok(result),
  197. Err((_, _, err)) => {
  198. error!("Failed to execute control method: {:?}", err);
  199. Err(err)
  200. }
  201. };
  202. /*
  203. * Locally-created objects should be destroyed on method exit (see §5.5.2.3 of the ACPI spec). We do
  204. * this by simply removing the method's local object layer.
  205. */
  206. // TODO: this should also remove objects created by the method outside the method's scope, if they
  207. // weren't statically created. This is harder.
  208. self.namespace.remove_level(path.clone())?;
  209. /*
  210. * Restore the old state.
  211. */
  212. self.method_context = old_context;
  213. self.current_scope = old_scope;
  214. return_value
  215. }
  216. /*
  217. * AML can encode methods that don't require any computation simply as the value that would otherwise be
  218. * returned (e.g. a `_STA` object simply being an `AmlValue::Integer`, instead of a method that just
  219. * returns an integer).
  220. */
  221. value => Ok(value),
  222. }
  223. }
  224. // TODO: docs
  225. pub fn initialize_objects(&mut self) -> Result<(), AmlError> {
  226. use name_object::NameSeg;
  227. use namespace::NamespaceLevel;
  228. use value::StatusObject;
  229. /*
  230. * If `\_SB._INI` exists, we unconditionally execute it at the beginning of device initialization.
  231. */
  232. match self.invoke_method(&AmlName::from_str("\\_SB._INI").unwrap(), Args::default()) {
  233. Ok(_) => (),
  234. Err(AmlError::ValueDoesNotExist(_)) => (),
  235. Err(err) => return Err(err),
  236. }
  237. /*
  238. * Next, we traverse the namespace, looking for devices.
  239. *
  240. * XXX: we clone the namespace here, which obviously drives up heap burden quite a bit (not as much as you
  241. * might first expect though - we're only duplicating the level data structure, not all the objects). The
  242. * issue here is that we need to access the namespace during traversal (e.g. to invoke a method), which the
  243. * borrow checker really doesn't like. A better solution could be a iterator-like traversal system that
  244. * keeps track of the namespace without keeping it borrowed. This works for now.
  245. */
  246. self.namespace.clone().traverse(|path, level: &NamespaceLevel| match level.typ {
  247. LevelType::Device => {
  248. let status = if level.values.contains_key(&NameSeg::from_str("_STA").unwrap()) {
  249. self.invoke_method(&AmlName::from_str("_STA").unwrap().resolve(&path)?, Args::default())?
  250. .as_status()?
  251. } else {
  252. StatusObject::default()
  253. };
  254. /*
  255. * If the device is present and has an `_INI` method, invoke it.
  256. */
  257. if status.present && level.values.contains_key(&NameSeg::from_str("_INI").unwrap()) {
  258. log::info!("Invoking _INI at level: {}", path);
  259. self.invoke_method(&AmlName::from_str("_INI").unwrap().resolve(&path)?, Args::default())?;
  260. }
  261. /*
  262. * We traverse the children of this device if it's present, or isn't present but is functional.
  263. */
  264. Ok(status.present || status.functional)
  265. }
  266. LevelType::Scope => Ok(true),
  267. // TODO: can either of these contain devices?
  268. LevelType::Processor => Ok(false),
  269. LevelType::MethodLocals => Ok(false),
  270. })?;
  271. Ok(())
  272. }
  273. /// Get the value of an argument by its argument number. Can only be executed from inside a control method.
  274. pub(crate) fn current_arg(&self, arg: ArgNum) -> Result<&AmlValue, AmlError> {
  275. self.method_context.as_ref().ok_or(AmlError::NotExecutingControlMethod)?.args.arg(arg)
  276. }
  277. /// Get the current value of a local by its local number. Can only be executed from inside a control method.
  278. pub(crate) fn local(&self, local: LocalNum) -> Result<&AmlValue, AmlError> {
  279. if let None = self.method_context {
  280. return Err(AmlError::NotExecutingControlMethod);
  281. }
  282. match local {
  283. 0 => self.method_context.as_ref().unwrap().local_0.as_ref().ok_or(AmlError::InvalidLocalAccess(local)),
  284. 1 => self.method_context.as_ref().unwrap().local_1.as_ref().ok_or(AmlError::InvalidLocalAccess(local)),
  285. 2 => self.method_context.as_ref().unwrap().local_2.as_ref().ok_or(AmlError::InvalidLocalAccess(local)),
  286. 3 => self.method_context.as_ref().unwrap().local_3.as_ref().ok_or(AmlError::InvalidLocalAccess(local)),
  287. 4 => self.method_context.as_ref().unwrap().local_4.as_ref().ok_or(AmlError::InvalidLocalAccess(local)),
  288. 5 => self.method_context.as_ref().unwrap().local_5.as_ref().ok_or(AmlError::InvalidLocalAccess(local)),
  289. 6 => self.method_context.as_ref().unwrap().local_6.as_ref().ok_or(AmlError::InvalidLocalAccess(local)),
  290. 7 => self.method_context.as_ref().unwrap().local_7.as_ref().ok_or(AmlError::InvalidLocalAccess(local)),
  291. _ => Err(AmlError::InvalidLocalAccess(local)),
  292. }
  293. }
  294. /// Perform a store into a `Target`. This returns a value read out of the target, if neccessary, as values can
  295. /// be altered during a store in some circumstances. If the target is a `Name`, this also performs required
  296. /// implicit conversions. Stores to other targets are semantically equivalent to a `CopyObject`.
  297. pub(crate) fn store(&mut self, target: Target, value: AmlValue) -> Result<AmlValue, AmlError> {
  298. match target {
  299. Target::Name(ref path) => {
  300. let (_, handle) = self.namespace.search(path, &self.current_scope)?;
  301. let converted_object = match self.namespace.get(handle).unwrap().type_of() {
  302. /*
  303. * We special-case FieldUnits here because we don't have the needed information to actually do
  304. * the write if we try and convert using `as_type`.
  305. */
  306. AmlType::FieldUnit => {
  307. let mut field = self.namespace.get(handle).unwrap().clone();
  308. field.write_field(value, self)?;
  309. field.read_field(self)?
  310. }
  311. typ => value.as_type(typ, self)?,
  312. };
  313. *self.namespace.get_mut(handle)? = converted_object;
  314. Ok(self.namespace.get(handle)?.clone())
  315. }
  316. Target::Debug => {
  317. // TODO
  318. unimplemented!()
  319. }
  320. Target::Arg(arg_num) => {
  321. if let None = self.method_context {
  322. return Err(AmlError::NotExecutingControlMethod);
  323. }
  324. match arg_num {
  325. 1 => self.method_context.as_mut().unwrap().args.arg_1 = Some(value.clone()),
  326. 2 => self.method_context.as_mut().unwrap().args.arg_2 = Some(value.clone()),
  327. 3 => self.method_context.as_mut().unwrap().args.arg_3 = Some(value.clone()),
  328. 4 => self.method_context.as_mut().unwrap().args.arg_4 = Some(value.clone()),
  329. 5 => self.method_context.as_mut().unwrap().args.arg_5 = Some(value.clone()),
  330. 6 => self.method_context.as_mut().unwrap().args.arg_6 = Some(value.clone()),
  331. _ => return Err(AmlError::InvalidArgAccess(arg_num)),
  332. }
  333. Ok(value)
  334. }
  335. Target::Local(local_num) => {
  336. if let None = self.method_context {
  337. return Err(AmlError::NotExecutingControlMethod);
  338. }
  339. match local_num {
  340. 0 => self.method_context.as_mut().unwrap().local_0 = Some(value.clone()),
  341. 1 => self.method_context.as_mut().unwrap().local_1 = Some(value.clone()),
  342. 2 => self.method_context.as_mut().unwrap().local_2 = Some(value.clone()),
  343. 3 => self.method_context.as_mut().unwrap().local_3 = Some(value.clone()),
  344. 4 => self.method_context.as_mut().unwrap().local_4 = Some(value.clone()),
  345. 5 => self.method_context.as_mut().unwrap().local_5 = Some(value.clone()),
  346. 6 => self.method_context.as_mut().unwrap().local_6 = Some(value.clone()),
  347. 7 => self.method_context.as_mut().unwrap().local_7 = Some(value.clone()),
  348. _ => return Err(AmlError::InvalidLocalAccess(local_num)),
  349. }
  350. Ok(value)
  351. }
  352. Target::Null => Ok(value),
  353. }
  354. }
  355. /// Read from an operation-region, performing only standard-sized reads (supported powers-of-2 only. If a field
  356. /// is not one of these sizes, it may need to be masked, or multiple reads may need to be performed).
  357. pub(crate) fn read_region(&self, region_handle: AmlHandle, offset: u64, length: u64) -> Result<u64, AmlError> {
  358. use bit_field::BitField;
  359. use core::convert::TryInto;
  360. use value::RegionSpace;
  361. let (region_space, region_base, region_length, parent_device) = {
  362. if let AmlValue::OpRegion { region, offset, length, parent_device } =
  363. self.namespace.get(region_handle)?
  364. {
  365. (region, offset, length, parent_device)
  366. } else {
  367. return Err(AmlError::FieldRegionIsNotOpRegion);
  368. }
  369. };
  370. match region_space {
  371. RegionSpace::SystemMemory => {
  372. let address = (region_base + offset).try_into().map_err(|_| AmlError::FieldInvalidAddress)?;
  373. match length {
  374. 8 => Ok(self.handler.read_u8(address) as u64),
  375. 16 => Ok(self.handler.read_u16(address) as u64),
  376. 32 => Ok(self.handler.read_u32(address) as u64),
  377. 64 => Ok(self.handler.read_u64(address)),
  378. _ => Err(AmlError::FieldInvalidAccessSize),
  379. }
  380. }
  381. RegionSpace::SystemIo => {
  382. let port = (region_base + offset).try_into().map_err(|_| AmlError::FieldInvalidAddress)?;
  383. match length {
  384. 8 => Ok(self.handler.read_io_u8(port) as u64),
  385. 16 => Ok(self.handler.read_io_u16(port) as u64),
  386. 32 => Ok(self.handler.read_io_u32(port) as u64),
  387. _ => Err(AmlError::FieldInvalidAccessSize),
  388. }
  389. }
  390. RegionSpace::PciConfig => {
  391. /*
  392. * First, we need to get some extra information out of objects in the parent object. Both
  393. * `_SEG` and `_BBN` seem optional, with defaults that line up with legacy PCI implementations
  394. * (e.g. systems with a single segment group and a single root, respectively).
  395. */
  396. let parent_device = parent_device.as_ref().unwrap();
  397. let seg = match self.namespace.search(&AmlName::from_str("_SEG").unwrap(), parent_device) {
  398. Ok((_, handle)) => self
  399. .namespace
  400. .get(handle)?
  401. .as_integer(self)?
  402. .try_into()
  403. .map_err(|_| AmlError::FieldInvalidAddress)?,
  404. Err(AmlError::ValueDoesNotExist(_)) => 0,
  405. Err(err) => return Err(err),
  406. };
  407. let bbn = match self.namespace.search(&AmlName::from_str("_BBN").unwrap(), parent_device) {
  408. Ok((_, handle)) => self
  409. .namespace
  410. .get(handle)?
  411. .as_integer(self)?
  412. .try_into()
  413. .map_err(|_| AmlError::FieldInvalidAddress)?,
  414. Err(AmlError::ValueDoesNotExist(_)) => 0,
  415. Err(err) => return Err(err),
  416. };
  417. let adr = {
  418. let (_, handle) = self.namespace.search(&AmlName::from_str("_ADR").unwrap(), parent_device)?;
  419. self.namespace.get(handle)?.as_integer(self)?
  420. };
  421. let device = adr.get_bits(16..24) as u8;
  422. let function = adr.get_bits(0..8) as u8;
  423. let offset = (region_base + offset).try_into().map_err(|_| AmlError::FieldInvalidAddress)?;
  424. match length {
  425. 8 => Ok(self.handler.read_pci_u8(seg, bbn, device, function, offset) as u64),
  426. 16 => Ok(self.handler.read_pci_u16(seg, bbn, device, function, offset) as u64),
  427. 32 => Ok(self.handler.read_pci_u32(seg, bbn, device, function, offset) as u64),
  428. _ => Err(AmlError::FieldInvalidAccessSize),
  429. }
  430. }
  431. // TODO
  432. _ => unimplemented!(),
  433. }
  434. }
  435. pub(crate) fn write_region(
  436. &mut self,
  437. region_handle: AmlHandle,
  438. offset: u64,
  439. length: u64,
  440. value: u64,
  441. ) -> Result<(), AmlError> {
  442. use bit_field::BitField;
  443. use core::convert::TryInto;
  444. use value::RegionSpace;
  445. let (region_space, region_base, region_length, parent_device) = {
  446. if let AmlValue::OpRegion { region, offset, length, parent_device } =
  447. self.namespace.get(region_handle)?
  448. {
  449. (region, offset, length, parent_device)
  450. } else {
  451. return Err(AmlError::FieldRegionIsNotOpRegion);
  452. }
  453. };
  454. match region_space {
  455. RegionSpace::SystemMemory => {
  456. let address = (region_base + offset).try_into().map_err(|_| AmlError::FieldInvalidAddress)?;
  457. match length {
  458. 8 => Ok(self.handler.write_u8(address, value as u8)),
  459. 16 => Ok(self.handler.write_u16(address, value as u16)),
  460. 32 => Ok(self.handler.write_u32(address, value as u32)),
  461. 64 => Ok(self.handler.write_u64(address, value)),
  462. _ => Err(AmlError::FieldInvalidAccessSize),
  463. }
  464. }
  465. RegionSpace::SystemIo => {
  466. let port = (region_base + offset).try_into().map_err(|_| AmlError::FieldInvalidAddress)?;
  467. match length {
  468. 8 => Ok(self.handler.write_io_u8(port, value as u8)),
  469. 16 => Ok(self.handler.write_io_u16(port, value as u16)),
  470. 32 => Ok(self.handler.write_io_u32(port, value as u32)),
  471. _ => Err(AmlError::FieldInvalidAccessSize),
  472. }
  473. }
  474. RegionSpace::PciConfig => {
  475. /*
  476. * First, we need to get some extra information out of objects in the parent object. Both
  477. * `_SEG` and `_BBN` seem optional, with defaults that line up with legacy PCI implementations
  478. * (e.g. systems with a single segment group and a single root, respectively).
  479. */
  480. let parent_device = parent_device.as_ref().unwrap();
  481. let seg = match self.namespace.search(&AmlName::from_str("_SEG").unwrap(), parent_device) {
  482. Ok((_, handle)) => self
  483. .namespace
  484. .get(handle)?
  485. .as_integer(self)?
  486. .try_into()
  487. .map_err(|_| AmlError::FieldInvalidAddress)?,
  488. Err(AmlError::ValueDoesNotExist(_)) => 0,
  489. Err(err) => return Err(err),
  490. };
  491. let bbn = match self.namespace.search(&AmlName::from_str("_BBN").unwrap(), parent_device) {
  492. Ok((_, handle)) => self
  493. .namespace
  494. .get(handle)?
  495. .as_integer(self)?
  496. .try_into()
  497. .map_err(|_| AmlError::FieldInvalidAddress)?,
  498. Err(AmlError::ValueDoesNotExist(_)) => 0,
  499. Err(err) => return Err(err),
  500. };
  501. let adr = {
  502. let (_, handle) = self.namespace.search(&AmlName::from_str("_ADR").unwrap(), parent_device)?;
  503. self.namespace.get(handle)?.as_integer(self)?
  504. };
  505. let device = adr.get_bits(16..24) as u8;
  506. let function = adr.get_bits(0..8) as u8;
  507. let offset = (region_base + offset).try_into().map_err(|_| AmlError::FieldInvalidAddress)?;
  508. match length {
  509. 8 => Ok(self.handler.write_pci_u8(seg, bbn, device, function, offset, value as u8)),
  510. 16 => Ok(self.handler.write_pci_u16(seg, bbn, device, function, offset, value as u16)),
  511. 32 => Ok(self.handler.write_pci_u32(seg, bbn, device, function, offset, value as u32)),
  512. _ => Err(AmlError::FieldInvalidAccessSize),
  513. }
  514. }
  515. // TODO
  516. _ => unimplemented!(),
  517. }
  518. }
  519. }
  520. // TODO: docs
  521. pub trait Handler {
  522. fn read_u8(&self, address: usize) -> u8;
  523. fn read_u16(&self, address: usize) -> u16;
  524. fn read_u32(&self, address: usize) -> u32;
  525. fn read_u64(&self, address: usize) -> u64;
  526. fn write_u8(&mut self, address: usize, value: u8);
  527. fn write_u16(&mut self, address: usize, value: u16);
  528. fn write_u32(&mut self, address: usize, value: u32);
  529. fn write_u64(&mut self, address: usize, value: u64);
  530. fn read_io_u8(&self, port: u16) -> u8;
  531. fn read_io_u16(&self, port: u16) -> u16;
  532. fn read_io_u32(&self, port: u16) -> u32;
  533. fn write_io_u8(&self, port: u16, value: u8);
  534. fn write_io_u16(&self, port: u16, value: u16);
  535. fn write_io_u32(&self, port: u16, value: u32);
  536. fn read_pci_u8(&self, segment: u16, bus: u8, device: u8, function: u8, offset: u16) -> u8;
  537. fn read_pci_u16(&self, segment: u16, bus: u8, device: u8, function: u8, offset: u16) -> u16;
  538. fn read_pci_u32(&self, segment: u16, bus: u8, device: u8, function: u8, offset: u16) -> u32;
  539. fn write_pci_u8(&self, segment: u16, bus: u8, device: u8, function: u8, offset: u16, value: u8);
  540. fn write_pci_u16(&self, segment: u16, bus: u8, device: u8, function: u8, offset: u16, value: u16);
  541. fn write_pci_u32(&self, segment: u16, bus: u8, device: u8, function: u8, offset: u16, value: u32);
  542. }
  543. #[derive(Clone, Debug, PartialEq, Eq)]
  544. pub enum AmlError {
  545. /*
  546. * Errors produced parsing the AML stream.
  547. */
  548. UnexpectedEndOfStream,
  549. UnexpectedByte(u8),
  550. InvalidNameSeg,
  551. InvalidPkgLength,
  552. InvalidFieldFlags,
  553. IncompatibleValueConversion,
  554. UnterminatedStringConstant,
  555. InvalidStringConstant,
  556. InvalidRegionSpace(u8),
  557. /// Produced when a `DefPackage` contains a different number of elements to the package's length.
  558. MalformedPackage,
  559. /// Produced when a `DefBuffer` contains more bytes that its size.
  560. MalformedBuffer,
  561. /// Emitted by a parser when it's clear that the stream doesn't encode the object parsed by
  562. /// that parser (e.g. the wrong opcode starts the stream). This is handled specially by some
  563. /// parsers such as `or` and `choice!`.
  564. WrongParser,
  565. /*
  566. * Errors produced manipulating AML names.
  567. */
  568. EmptyNamesAreInvalid,
  569. /// Produced when trying to normalize a path that does not point to a valid level of the
  570. /// namespace. E.g. `\_SB.^^PCI0` goes above the root of the namespace. The contained value is the name that
  571. /// normalization was attempted upon.
  572. InvalidNormalizedName(AmlName),
  573. RootHasNoParent,
  574. /*
  575. * Errors produced working with the namespace.
  576. */
  577. /// Produced when a sub-level or value is added to a level that has not yet been added to the namespace. The
  578. /// `AmlName` is the name of the entire sub-level/value.
  579. LevelDoesNotExist(AmlName),
  580. ValueDoesNotExist(AmlName),
  581. /// Produced when two values with the same name are added to the namespace.
  582. NameCollision(AmlName),
  583. TriedToRemoveRootNamespace,
  584. /*
  585. * Errors produced executing control methods.
  586. */
  587. /// Produced when AML tries to do something only possible in a control method (e.g. read from an argument)
  588. /// when there's no control method executing.
  589. NotExecutingControlMethod,
  590. /// Produced when a method accesses an argument it does not have (e.g. a method that takes 2
  591. /// arguments accesses `Arg4`). The inner value is the number of the argument accessed.
  592. InvalidArgAccess(ArgNum),
  593. /// Produced when a method accesses a local that it has not stored into.
  594. InvalidLocalAccess(LocalNum),
  595. /// This is not a real error, but is used to propagate return values from within the deep
  596. /// parsing call-stack. It should only be emitted when parsing a `DefReturn`. We use the
  597. /// error system here because the way errors are propagated matches how we want to handle
  598. /// return values.
  599. Return(AmlValue),
  600. /*
  601. * Errors produced parsing the PCI routing tables (_PRT objects).
  602. */
  603. PrtInvalidAddress,
  604. PrtInvalidPin,
  605. PrtInvalidSource,
  606. PrtInvalidGsi,
  607. /// Produced when the PRT doesn't contain an entry for the requested address + pin
  608. PrtNoEntry,
  609. /*
  610. * Errors produced parsing Resource Descriptors.
  611. */
  612. ReservedResourceType,
  613. ResourceDescriptorTooShort,
  614. ResourceDescriptorTooLong,
  615. /*
  616. * Errors produced working with AML values.
  617. */
  618. InvalidStatusObject,
  619. InvalidShiftLeft,
  620. InvalidShiftRight,
  621. FieldRegionIsNotOpRegion,
  622. FieldInvalidAddress,
  623. FieldInvalidAccessSize,
  624. TypeCannotBeCompared(AmlType),
  625. }