x86: adds a kpte_t for the pte_t
[akaros.git] / tests / mcp_halt.c
2014-12-02 Barret Rhodenvcore_idle(): halts a core