#include <stdint.h>

struct Pte {
    union {
        struct {
            uint64_t flags: 8;
            uint64_t ppn: 56;
        };
        struct {
            uint64_t val;
        };
    };
};

void WritePte(const Pte &pte);

void Do()
{
    WritePte({.val = 0});
}