/* This PDC call returns the number of bytes in the processor's Stable Storage, which is the number of contiguous bytes implemented in Stable Storage starting from staddr=0. size in an unsigned 64-bit integer which is a multiple of four.  */
int pdc_stable_get_size(unsigned long *size)
/* This PDC call returns the number of bytes in the processor's Stable Storage, which is the number of contiguous bytes implemented in Stable Storage starting from staddr=0. size in an unsigned 64-bit integer which is a multiple of four.  */
int pdc_stable_get_size(unsigned long *size)
{
       int retval;
	unsigned long flags;
       spin_lock_irqsave(&pdc_lock, flags);
       retval = mem_pdc_call(PDC_STABLE, PDC_STABLE_RETURN_SIZE, __pa(pdc_result));
       *size = pdc_result[0];
       spin_unlock_irqrestore(&pdc_lock, flags);
       return retval;
}