#include <debug.h>
#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>
Go to the source code of this file.
◆ power_off()
340 {
341#ifdef FILESYS
343#endif
344
346
347 printf (
"Powering off...\n");
348 outw (0x604, 0x2000);
349 for (;;);
350}
void filesys_done(void)
Definition: filesys.c:47
static void print_stats(void)
Definition: init.c:354
static void outw(uint16_t port, uint16_t data)
Definition: io.h:127
int printf(const char *,...) PRINTF_FORMAT(1
◆ base_pml4
◆ power_off_when_done
◆ ram_pages