void asm_out8(uint16_t port, uint8_t value) {
  __asm__ __volatile__("outb %[value], %[port]"
                       :: [value] "a"(value), [port] "d"(port));
}