Searched refs:acpigen_write_debug_integer (Results 1 – 2 of 2) sorted by relevance
502 void acpigen_write_debug_integer(uint64_t val);
1517 void acpigen_write_debug_integer(uint64_t val) in acpigen_write_debug_integer() function