Edit File: hypercall.h