blob: 95c6997c0817dfe071606fb5d421fed7add6957e [file] [log] [blame]
// Copyright 2016 The Fuchsia Authors
// Copyright (c) 2014 Travis Geiselbrecht
// Use of this source code is governed by a MIT-style
// license that can be found in the LICENSE file or at
#pragma once
#include <kernel/mutex.h>
#include <kernel/range_check.h>
#include <stdint.h>
#include <sys/types.h>
#include <vm/vm.h>
#include <vm/vm_aspace.h>
// return a pointer to the zero page
static inline vm_page_t* vm_get_zero_page(void) {
extern vm_page_t* zero_page;
return zero_page;
// return the physical address of the zero page
static inline paddr_t vm_get_zero_page_paddr(void) {
extern paddr_t zero_page_paddr;
return zero_page_paddr;