zircon/kernel/vm/page_ffi.cc

// Copyright 2026 The Fuchsia Authors
//
// Use of this source code is governed by a MIT-style
// license that can be found in the LICENSE file or at
// https://opensource.org/licenses/MIT

#include "vm/page_ffi.h"

#include <assert.h>
#include <zircon/types.h>

#include <kernel/ffi.h>

#include "vm/page.h"

// TODO(https://fxbug.dev/537458631): Remove the annotations once cross-language inlining works.
extern "C" {

FFI_ALWAYS_INLINE uint64_t cpp_get_count(vm_page_state state) {
  return vm_page_t::get_count(state);
}

FFI_ALWAYS_INLINE void cpp_add_to_initial_count(vm_page_state state, uint64_t n) {
  vm_page_t::add_to_initial_count(state, n);
}

FFI_ALWAYS_INLINE bool cpp_vm_page_is_loaned(vm_page_t* page) { return page->is_loaned(); }

FFI_ALWAYS_INLINE bool cpp_vm_page_is_loan_cancelled(vm_page_t* page) {
  return page->is_loan_cancelled();
}

FFI_ALWAYS_INLINE void cpp_vm_page_set_is_loaned(vm_page_t* page) { page->set_is_loaned(); }

FFI_ALWAYS_INLINE void cpp_vm_page_clear_is_loaned(vm_page_t* page) { page->clear_is_loaned(); }

FFI_ALWAYS_INLINE void cpp_vm_page_set_is_loan_cancelled(vm_page_t* page) {
  page->set_is_loan_cancelled();
}

FFI_ALWAYS_INLINE void cpp_vm_page_clear_is_loan_cancelled(vm_page_t* page) {
  page->clear_is_loan_cancelled();
}

FFI_ALWAYS_INLINE void cpp_vm_page_dump(vm_page_t* page) { page->dump(); }

FFI_ALWAYS_INLINE paddr_t cpp_vm_page_paddr(vm_page_t* page) { return page->paddr(); }

FFI_ALWAYS_INLINE vm_page_state cpp_vm_page_state(vm_page_t* page) { return page->state(); }

FFI_ALWAYS_INLINE void cpp_vm_page_set_state(vm_page_t* page, vm_page_state new_state) {
  page->set_state(new_state);
}

FFI_ALWAYS_INLINE void* cpp_vm_page_object_get_object(const vm_page_t* page) {
  return page->object.get_object();
}

FFI_ALWAYS_INLINE uint64_t cpp_vm_page_object_get_page_offset(const vm_page_t* page) {
  return page->object.get_page_offset();
}

FFI_ALWAYS_INLINE uint8_t cpp_vm_page_object_get_pin_count(const vm_page_t* page) {
  return page->object.pin_count;
}

}  // extern "C"