syscall/include/bf_constants.hpp
[[nodiscard]] constexpr auto
    bf_is_page_aligned(bsl::safe_u64 const &addr) noexcept -> bool
    {
        bsl::expects(addr.is_valid_and_checked());

        constexpr auto mask{HYPERVISOR_PAGE_SIZE - bsl::safe_u64::magic_1()};
        return (addr & mask).is_zero();
    }
/// <!-- description -->
///   @brief Returns true if the provided address is 4k page aligned,
///     returns false otherwise.
///
/// <!-- inputs/outputs -->
///   @param addr the address to query
///   @return Returns true if the provided address is 4k page aligned,
///     returns false otherwise.
///

@brief Returns true if the provided address is 4k page aligned,
returns false otherwise.


@param addr the address to query
@return Returns true if the provided address is 4k page aligned,
returns false otherwise.
@brief Returns true if the provided address is 4k page aligned returns false otherwise . @param addr the address to query @return Returns true if the provided address is 4k page aligned returns false otherwise .
[[nodiscard]] constexpr auto
    bf_is_page_aligned(bsl::safe_u64 const &addr) noexcept -> bool
    {
        bsl::expects(addr.is_valid_and_checked());
        constexpr auto mask{HYPERVISOR_PAGE_SIZE - bsl::safe_u64::magic_1()};
        return (addr & mask).is_zero();
    }
[[ nodiscard ]] constexpr auto bf_is_page_aligned ( bsl :: safe_u64 const & addr ) noexcept -> bool { bsl :: expects ( addr . is_valid_and_checked ( ) ) ; constexpr auto mask { HYPERVISOR_PAGE_SIZE - bsl :: safe_u64 :: magic_1 ( ) } ; return ( addr & mask ) . is_zero ( ) ; }
<!-- description -->
@brief Returns true if the provided address is 4k page aligned,
returns false otherwise.
<! -- description -- > @brief Returns true if the provided address is 4k page aligned returns false otherwise .